- Tytuł:
- Located Actions in Process Algebra with Timing
- Autorzy:
-
Bergstra, J.A.
Middelburg, C.A. - Data publikacji:
- 2004
- Słowa kluczowe:
-
process algebras
continuous relative timing
spatially located actions
distributed systems
state operator
maximal progress
asynchronous communication
urgent actions - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł