Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication.

Geoff W. Hamilton Benjamin Aziz

Published in: SBMF (2022)

Keyphrases

transition systems
information sharing
formal language
real time
case study
high level
relational databases
expressive power
communication networks
communication systems
resource constrained
share information
concurrent systems