Login / Signup
From Explicit to Symbolic Types for Communication Protocols in CCS.
Hanne Riis Nielson
Flemming Nielson
Jörg Kreiker
Henrik Pilegaard
Published in:
Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Keyphrases
</>
communication protocols
high level
user experience
communication protocol
protocol specification