The following pages link to A\(^ 2\)CCS: Atomic actions for CCS (Q912608):
Displayed 7 items.
- On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
- The semantics of the combination of atomized statements and parallel choice (Q1267037) (← links)
- Progress assumption in concurrent systems (Q1805398) (← links)
- Language Representability of Finite P/T Nets (Q3460873) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Action refinement and property inheritance in systems of sequential agents (Q6162110) (← links)