- Tytuł:
- Parameterized Structured Operational Semantics
- Autorzy:
-
Ferrari, G.L.
Montanari, U. - Data publikacji:
- 1998
- Słowa kluczowe:
-
process calculi
Structured Operational Semantics (SOS)
SOS formats
bisimulation equivalence
complete axiomatizations - Pokaż więcej
- Dostawca treści:
- BazTech