Login / Signup
Semantics for the Specification of Asynchronous Communicating Systems (SACS).
A. V. S. Rajan
S. Bavan
Geetha Abeysinghe
Published in:
SCSS (1) (2007)
Keyphrases
</>
formal languages
learning systems
complex systems
formal semantics
database
information systems
management system
distributed systems
knowledge based systems
logic programming
communication channels
formal methods
operational semantics
asynchronous circuits