Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. M. Broy: Specification and top down design of distributed systems. In: H. Ehrig et al. (eds.): Formal Methods and Software Development. Lecture Notes in Computer Science 186, Springer 1985, 4–28, Revised version in JCSS 34:2/3, 1987, 236–264
2. M. Broy: A theory for nondeterminism, parallelism, communication and concurrency. Habilitation, Fakultät für Mathematik und Informatik der Technischen Universität München, 1982, Revised version in: Theoretical Computer Science 45 (1986) 1–61
3. M. Broy: Semantics of finite or infinite networks of communicating agents. Distributed Computing 2 (1987), 13–31
4. M. Broy: Predicative specification for functional programs describing communicating networks. Information Processing Letters 25 (1987) 93–101
5. P. Dybier, H. Sander: A functional programming approach to the specification and verification of concurrent systems. Chalmers University of Technology and University of Göteborg, Department of Computer Sciences 1988
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Unifying Theories of Mobile Channels;Electronic Proceedings in Theoretical Computer Science;2016-06-04
2. Coordination through Channel Composition;Lecture Notes in Computer Science;2002
3. An Associative Broadcast Based Coordination Model for Distributed Processes;Lecture Notes in Computer Science;2002
4. Coordination of Mobile Components;Electronic Notes in Theoretical Computer Science;2001-08
5. Algebraic specification of reactive systems;Theoretical Computer Science;2000-05