Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. J. C. M. Baeten and J.A. Bergstra. Discrete time process algebra (extended abstract). In Proceedings of CONCUR'92, LNCS 630. Springer Verlag, 1992.
2. J.C.M. Baeten and J.A. Bergstra. Real space process algebra. Formals Aspects of Computing, 5(6):481–529, 1993.
3. J.C.M. Baeten and J.A. Bergstra. Discrete time process algebra. Formal Aspects of Computing, 1996. To appear.
4. J.A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. ACM Press Frontier Series. The ACM Press in co-operation with Addison-Wesley, 1989.
5. J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information & Control, 60:82–95, 1984.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ToolBus: The Next Generation;Formal Methods for Components and Objects;2003
2. Semi-automatic grammar recovery;Software: Practice and Experience;2001-12
3. Customizable Service Integration in Web-Enabled Environments;Engineering Distributed Objects;2001
4. Evolutionary software engineering: a component-based approach;IFIP Advances in Information and Communication Technology;1998
5. Axiomatizations for the perpetual loop in process algebra;Automata, Languages and Programming;1997