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:33 - 15 self