- Tytuł:
- An Operational Petri Net Semantics for A2CCS
- Autorzy:
-
Gorrieri, R.
Versari, C. - Data publikacji:
- 2011
- Słowa kluczowe:
-
Labelled Transition Systems (LTS)
P/T Petri nets
language A2CCS
step semantics
net transitions
DDM semantics - Pokaż więcej
- Dostawca treści:
- BazTech