Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
Gespeichert in:
Verfasser / Beitragende:
[J. C. M. Baeten, J. A. Bergstra, J. W. Klop]
Ort, Verlag, Jahr:
1987
Enthalten in:
The Computer Journal, 30/6(1987-12), 498-506
Format:
Artikel (online)
Online Zugang: