Abstract | ||
---|---|---|
Communication oriented semantics for concurrent systems are studied with the assumption that two systems of "equal behaviour" with respect to the abstract semantic should be able to replace each other in technical systems. |
Year | DOI | Venue |
---|---|---|
1987 | 10.1007/3-540-18170-9_174 | Computation Theory and Logic |
Keywords | DocType | Volume |
Concurrent Systems,concurrent system | Conference | 270 |
ISSN | ISBN | Citations |
0302-9743 | 0-387-18170-9 | 0 |
PageRank | References | Authors |
0.34 | 11 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lutz Priese | 1 | 240 | 31.41 |