- Tytuł:
- On the relationships among four timed process algebras
- Autorzy:
-
Corradini, F.
D'Ortenzio, D.
Inverardi, P. - Data publikacji:
- 1999
- Słowa kluczowe:
-
distributed systems
specification
verification
timed process algebras - Pokaż więcej
- Dostawca treści:
- BazTech