|
|||||
|
|
Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching |
|
| Authors: | Hermanns H; Rettelbach M; Weiss T |
| Affiliation: | IMMD VII, University of Erlangen-Nurnberg D-91058, Erlangen, Germany. Email: hrherman{at}immd7.informatik.uni-erlangen.de, mlrettel{at}immd7.informatik.uni-erlangen.de, tnweiss{at}immd7.informatik.uni-erlangen.de |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |