Title | ||
---|---|---|
Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979 |
Year | Venue | Field |
---|---|---|
1979 | Semantics of Concurrent Computation | Petri net,Programming language,Nondeterministic algorithm,Computer science,Deadlock,Path expression,Denotational semantics,Theoretical computer science,Dataflow,Modal logic,System requirements specification |
DocType | Volume | ISBN |
Conference | 70 | isbn |
Citations | PageRank | References |
21 | 48.03 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gilles Kahn | 1 | 1437 | 340.18 |