On the power of concurrency theory
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Analysis issues in Petri nets with inhibitor arcs
Theoretical Computer Science
Partial order semantics and read arcs
Theoretical Computer Science
Integrating TwoTowers and GreatSPN through a compact net semantics
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
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
Domain and event structure semantics for Petri nets with read and inhibitor arcs
Theoretical Computer Science
A comparison between strand spaces and multiset rewriting for security protocol analysis
Journal of Computer Security
Petri net semantics of the finite π-calculus terms
Fundamenta Informaticae
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets
Fundamenta Informaticae
An exercise in structural congruence
Information Processing Letters
Concurrent and Located Synchronizations in π-Calculus
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Encoding Asynchronous Interactions Using Open Petri Nets
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
On the Relationship between η-Calculus and Finite Place/Transition Petri Nets
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Fundamenta Informaticae - Petri Nets 2008
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Typed Event Structures and the π-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Typed event structures and the linear π-calculus
Theoretical Computer Science
WMC'07 Proceedings of the 8th international conference on Membrane computing
Representations of Petri net interactions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Concurrency can't be observed, asynchronously
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
A petri net interpretation of open reconfigurable systems
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
A petri net translation of π-calculus terms
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
A Denotational Semantics for the π-Calculus
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Event structure semantics of parallel extrusion in the pi-calculus
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
An Operational Petri Net Semantics for A 2CCS
Fundamenta Informaticae
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Fundamenta Informaticae - Petri Nets 2008
Petri Net Semantics of the Finite π-calculus Terms
Fundamenta Informaticae
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets
Fundamenta Informaticae
Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures
Fundamenta Informaticae
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs
Fundamenta Informaticae
Compositional event structure semantics for the internal π-calculus
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
A Petri Net Interpretation of Open Reconfigurable Systems
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011
Hi-index | 0.00 |