Login / Signup
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