Login / Signup
Extended type systems of action languages for the development of communication protocols.
Thomas Kistel
Ralf Vandenhouten
Published in:
SMC (2014)
Keyphrases
</>
communication protocols
knowledge based systems
case study
management system
decision support
expressive power
communication protocol
data streams
distributed systems
computer systems
formal languages