Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching (1995)
Cached
Download Links
- [www.inria.fr]
- [ftp.informatik.uni-erlangen.de]
- DBLP
Other Repositories/Bibliography
by
Holger Hermanns
,
Michael Rettelbach
,
Thorsten Weiß
| Venue: | IN PROCEEDINGS OF THE 3RD WORKSHOP ON PROCESS ALGEBRA AND PERFORMANCE MODELLING |
| Citations: | 32 - 15 self |
BibTeX
@INPROCEEDINGS{Hermanns95formalcharacterisation,
author = {Holger Hermanns and Michael Rettelbach and Thorsten Weiß},
title = {Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching},
booktitle = {IN PROCEEDINGS OF THE 3RD WORKSHOP ON PROCESS ALGEBRA AND PERFORMANCE MODELLING},
year = {1995},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
