On the Algebraic Specification of Concurrency and Communication.

Jean-Pierre Finance Mohamed Saïd Ouerghi

Published in: ICPP (1983)

Keyphrases

database systems
high level
communication networks
communication technologies
formal specification
resource constrained
concurrent programming
distributed systems
information sharing
distributed databases
communication systems
specification language
algebraic geometry