Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching (1995)

Cached

Download Links

by Holger Hermanns , Michael Rettelbach , Thorsten Weiß
Venue:IN PROCEEDINGS OF THE 3RD WORKSHOP ON PROCESS ALGEBRA AND PERFORMANCE MODELLING
Citations:37 - 15 self