ReActor: A notation for the specification of actor systems and its semantics.

Rodger Burmeister

Published in: Software Engineering (2013)

Keyphrases

management system
formal methods
relational databases
intelligent systems
learning systems
expert systems
distributed systems
knowledge based systems
formal specification
formal semantics
conceptual schema
formal languages
dynamic constraints