Author:
Astesiano Egidio,Giovini Alessandro,Reggio Gianna
Reference14 articles.
1. E. Astesiano, G. F. Mascari, G. Reggio, M. Wirsing, On the Parameterized Algebraic Specification of Concurrent Systems, in Proc. CAAP '85-TAP SOFT Conference, LNCS 185, Lecture Notes in Computer Science, n. 185, Springer Verlag, Berlin, 1985.
2. E. Astesiano, G. Reggio, An Outline of the SMoLCS Methodology, in Mathematical Models for the Semantics of Parallelism, Marisa Venturini Zilli ed., LNCS 280 Lecture Notes in Computer Science, n. 280, Springer Verlag, Berlin, p. 81–113, 1987.
3. E. Astesiano, G. Reggio, SMoLCS Driven Concurrent Calculi, in Proc. TAP SOFT '87, LNCS 249 Lecture Notes in Computer Science, n. 249, Springer Verlag, Berlin, 1987.
4. E. Astesiano, G. Reggio, Parameterized Concurrent Calculi, (in preparation).
5. E. Astesiano, G. Reggio, M. Wirsing, Relational Specifications and Observational Semantics, in Proc. MFCS '86, LNCS 233 Lecture Notes in Computer Science, n. 233, Springer Verlag, Berlin, 1986.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献