The following pages link to A\(^ 2\)CCS: Atomic actions for CCS (Q912608):
Displaying 8 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)
- On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues (Q6197379) (← links)
- On the expressiveness and efficiency of guarded lists in Bach (Q6643471) (← links)
