The Ada challenge for new formal semantic techniques
Proc. of the Ada-Europe international conference on Ada: managing the transition
On the parameterized algebraic specification of concurrent systems
Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85)
Relational specifications and observational semantics
Proceedings of the 12th symposium on Mathematical foundations of computer science 1986
Comparing direct and continuation semantics styles for concurrent languages
4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
SMoLCS-driven concurrent calculi
The International Joint Conference on theory and practice of software development on TAPSOFT '87
An outline of the SMoLCS approach
Advanced School on Mathematical models for the semantics of parallelism
A Calculus of Communicating Systems
A Calculus of Communicating Systems
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction
Proceedings of the CRAI Workshop on Software Factories and Ada: Software Development and Ada
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
VDM semantics of programming languages: combinators and monads
Formal methods and hybrid real-time systems
Hi-index | 0.00 |