Year | DOI | Venue |
---|---|---|
1993 | 10.1016/0020-0190(93)90067-J | Inf. Process. Lett. |
Keywords | Field | DocType |
graphical representation,process network,algebraic expression,formal semantics,distributed systems | Specification language,Programming language,Computer science,Algebraic expression,Process calculus,Semantics of logic | Journal |
Volume | Issue | ISSN |
46 | 6 | 0020-0190 |
Citations | PageRank | References |
3 | 0.45 | 3 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
T. Bolognesi | 1 | 11 | 1.93 |