Permutation of transitions: An event structure semantics for CCS and SCCS.

Gérard Boudol Ilaria Castellani

Published in: REX Workshop (1988)

Keyphrases

semantic structure
logic programming
semantic information
logical structure
real time
data model
event detection
structural information
geometric structure