Semantics of Systems of Concurrent Processes
1990; Springer Science+Business Media; Linguagem: Inglês
10.1007/3-540-53479-2
ISSN1611-3349
AutoresD Barstow, W Brauer, R Brinch, Hansen Gries, D Luckham, C Moler, Amir Pnueli, G Seegm ller, Josef Stoer, Niklaus Wirth, Irène Guessarian,
Tópico(s)Business Process Modeling and Analysis
Referência(s)