Title | ||
---|---|---|
CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings |
Year | Venue | Field |
---|---|---|
1993 | CONCUR | Operational semantics,Petri net,Model checking,Concurrency,Computer science,Theoretical computer science,Decidability,Modal logic,Bisimulation,Process calculus |
DocType | Volume | ISBN |
Conference | 715 | isbn |
Citations | PageRank | References |
36 | 7.90 | 0 |
Authors | ||
1 |