Using Net Refinement to Compute the Fixp
β
Eike Best; Maciej Koutny
π
Article
π
1995
π
Elsevier Science
π
English
β 112 KB
The talk illustrates the general Petri net semantics of equations such a s X = term(X) using a basic CCS-like process algebra without restriction, synchronisation and relabelling.