Algebraic Specification of Distributed Systems based on Concurrent Object-Oriented Modeling

Publication Information

Title

Japanese:
English:	Algebraic Specification of Distributed Systems based on Concurrent Object-Oriented Modeling

Author

Japanese:	飯田周作, 二木厚吉, 渡部卓雄.
English:	Shusaku Iida, Kokichi Futatsugi, Takuo Watanabe.

Language

English

Journal/Book name

Japanese:
English:	Formal Methods for Open Object-based Distributed Systems

Volume, Number, Page

pp. 341-356

Published date

Mar. 4, 1996

Publisher

Japanese:
English:	Springer

Conference name

Japanese:
English:	IFIP 1st International Workshop on Formal Methods in Open Object-based Distributed Systems (FMOODS 1996)

Conference site

Japanese:
English:	Paris

DOI