Author:
Olderog Ernst-Rüdiger,Rössig Stephan
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. R.J.R. Back. Refinement calculus, Part II: Parallel and Reactive Programs. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems — Models, Formalisms, Correctness, LNCS 430, pages 67–93. Springer-Verlag, 1990.
2. F.L. Bauer et al. The Munich Project CIP, Vol. II: The Transformation System CIP-S. LNCS 292. Springer-Verlag, 1987.
3. D. Bjørner et al. A ProCoS project description—ESPRIT BRA 3104. EATCS Bulletin, 39:60–73, 1989.
4. J.C.M. Baeten and P. Weijland. Process Algebra. Cambridge University Press, 1990.
5. R.H. Campbell and A.N. Habermann. The specification of process synchronisation by path expressions. LNCS 16. Springer-Verlag, 1974.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Models and Code;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018
2. A strategic approach to transformational design;FME'96: Industrial Benefit and Advances in Formal Methods;1996
3. The incremental development of correct specifications for distributed systems;FME'96: Industrial Benefit and Advances in Formal Methods;1996
4. KORSO reference languages concepts and application domains;KORSO: Methods, Languages, and Tools for the Construction of Correct Software;1995
5. On automatic and interactive design of communicating systems;Tools and Algorithms for the Construction and Analysis of Systems;1995