Filters








6 Hits in 1.5 sec

SMoLCS-driven concurrent calculi [chapter]

Egidio Astesiano, Gianna Reggio
1987 Lecture Notes in Computer Science  
It is shown how to derive, following the principles of the SMoLCS methodology, a family of calculi, suitable for the specification of concurrent systems and languages.  ...  SMoLCS approach SMoLCS is an integrated methodology for the specification of concurrent systems and languages developed mainly by the authors (JAR1, AR3]), in cooperation with M.Wirsing ([AMRW, ARWl])  ...  Acknowledgements, We wish to acknowledge the invaluable cooperation of Martin Wirsing in building the foundations of the SMoLCS approach.  ... 
doi:10.1007/3-540-17660-8_55 fatcat:5mbcr3era5crrenqe2c6zgjjjy

Page 2638 of Mathematical Reviews Vol. , Issue 88e [page]

1988 Mathematical Reviews  
Gamatie, A fully observational model for in- finite behaviours of communicating systems (pp. 153-168); Egidio Astesiano and Gianna Reggio, SMoLCS-driven concurrent calculi (pp. 169-201); M.  ...  Castellani, On the semantics of concurrency: partial orders and transition systems (pp. 123-137); Rocco De Nicola and Matthew Hennessy, CCS without t’s (pp. 138-152); Ph. Darondeau and B.  ... 

Page 1058 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
., (Not in MR) Astesiano, Egidio (with Reggio, Gianna) An outline of the SMoLCS approach. (See 88j:68009) (with Reggio, Gianna) SMoLCS-driven concurrent calculi. (See 88e:68010) Baeten, J.C.M.  ...  Part I, II] 88e:03055 68Q10 Modes of computation (concurrent, parallel, etc.) Andrews, Gregory R.  ... 

A decade of TAPSOFT [chapter]

Hartmut Ehrig, Bernd Mahr
1995 Lecture Notes in Computer Science  
To consider processes as special data types which interact with each other was adopted in the SMoLCS approach [AR 87] together with corresponding concurrent calculi.  ...  Petri nets are well-known as a powerful concept for true concurrency.  ... 
doi:10.1007/3-540-59293-8_184 fatcat:vydozuun3fajhpxgakow7btv64

Page 46 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
(See 88e:68009) 68Q55 (68Q10) (with Reggio, Gianna) SMoLCS-driven concurrent calculi. TAPSOFT °87, Vol. 1 (Pisa, 1987), 169-201, Lecture Notes in Comput. Sci., 249, Springer, Berlin-New York, 1987.  ...  (See 88j:68009) 68Q10 (with Reggio, Gianna) Comparing direct and continuation semantics styles for concurrent languages—revisiting an old problem from a new viewpoint.  ... 

A survey of semantic description frameworks for programming languages

Yingzhou Zhang, Baowen Xu
2004 SIGPLAN notices  
concurrent calculi.  ...  Well High General General Moderate Little References [AR1987] Astesiano, E. and Reggio, G., SMoLCS-driven  ... 
doi:10.1145/981009.981013 fatcat:aq23dovoqvdgzdo5xz7vclcnoe