ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Distributed processes and location failures
Theoretical Computer Science
ACM Transactions on Computational Logic (TOCL)
L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols
IEEE Transactions on Software Engineering
On Plain and Hereditary History-Preserving Bisimulation
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Hereditary History Preserving Bisimulation Is Decidable for Trace-Labelled Systems
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Models for Name-Passing Processes: Interleaving and Causal
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Models for name-passing processes: interleaving and causal
Information and Computation
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets
Fundamenta Informaticae
Ugo Montanari and Concurrency Theory
Concurrency, Graphs and Models
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
WMC'07 Proceedings of the 8th international conference on Membrane computing
Concurrency can't be observed, asynchronously
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets
Fundamenta Informaticae
On the Decidability of Non-Interleaving Process Equivalences
Fundamenta Informaticae
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS
Fundamenta Informaticae
Combining Ccs And Petri Nets Via Structural Axioms
Fundamenta Informaticae
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |