You have Guest access.
Log In
Egidio Astesiano, Alessandro Giovini and Gianna Reggio
Book Chapter
Relational specifications and observational semantics
Egidio Astesiano, Gianna Reggio and Martin Wirsing
Lecture Notes in Computer Science, 1986, Volume 233, Mathematical Foundations of Computer Science 1986, Pages 209-217
Comparing direct and continuation semantics styles for concurrent languages Revisiting an old problem from a new viewpoint
Egidio Astesiano and Gianna Reggio
Lecture Notes in Computer Science, 1987, Volume 247, STACS 87, Pages 311-322
Processes as data types: Observational semantics and logic
Lecture Notes in Computer Science, 1990, Volume 469, Semantics of Systems of Concurrent Processes, Pages 1-20
An outline of the SMoLCS approach
Lecture Notes in Computer Science, 1987, Volume 280, Mathematical Models for the Semantics of Parallelism, Pages 81-113
An integrated algebraic approach to the specification of data types, processes and objects
E. Astesiano, A. Giovini, G. Reggio and E. Zucca
Lecture Notes in Computer Science, 1989, Volume 394, Algebraic Methods: Theory, Tools and Applications, Pages 91-116
Data in a concurrent environment
Lecture Notes in Computer Science, 1988, Volume 335, CONCURRENCY 88, Pages 140-159
Partial algebras, subsorting, and dependent types Prerequisites of error handling in algebraic specifications
Axel Poigné
Lecture Notes in Computer Science, 1988, Volume 332, Recent Trends in Data Type Specification, Pages 208-234
Characterizing behavioural semantics and abstractor semantics
Michel Bidoit, Rolf Hennicker and Martin Wirsing
Lecture Notes in Computer Science, 1994, Volume 788, Programming Languages and Systems — ESOP '94, Pages 105-119
The SMoLCS approach to the formal semantics of programming languages A tutorial introduction
Lecture Notes in Computer Science, 1987, Volume 275, System Development and Ada, Pages 81-116
Semantics for the Specification of Asynchronous Communicating Systems (SACS)
A.V.S. Rajan, S. Bavan and G. Abeysinghe
2008, Advances in Computer and Information Sciences and Engineering, Pages 33-38
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info