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