Journal of the ACM (JACM)
Modeling concurrency with geometry
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Derivation of formal representations from process-based specification and implementation models
ISSS '97 Proceedings of the 10th international symposium on System synthesis
Information and Computation
ACM Transactions on Computational Logic (TOCL)
General distributions in process algebra
Lectures on formal methods and performance analysis
Truly concurrent constraint programming
Theoretical Computer Science
The theory of interactive generalized semi-Markov processes
Theoretical Computer Science
The box algebra = Petri nets + process expressions
Information and Computation
Partial order semantics and read arcs
Theoretical Computer Science
An Algebra of Non-safe Petri Boxes
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Action Refinement from a Logical Point of View
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Concurrent Implementation of Asynchronous Transition Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
Stochastic Petri net semantics for stochastic process algebras
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Transition and cancellation in concurrency and branching time
Mathematical Structures in Computer Science
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science
A theory of stochastic systems: part I: Stochastic automata
Information and Computation
On the expressiveness of higher dimensional automata
Theoretical Computer Science - Expressiveness in concurrency
Erratum: Erratum to “On the expressiveness of higher dimensional automata”
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Truly Concurrent Logic via In-Between Specification
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of stochastic systems part I: Stochastic automata
Information and Computation
On hierarchically developing reactive systems
Information and Computation
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
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Bio-PEPAd: A non-Markovian extension of Bio-PEPA
Theoretical Computer Science
Foundational aspects of multiscale modeling of biological systems with process algebras
Theoretical Computer Science
On using syntactic action refinement to derive compositionally a timed efficient implementation
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Aggregation of transitions in marking graph generation based on maximality semantics for petri nets
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
On distributability of petri nets
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
Fundamenta Informaticae
Full Abstractness of a Metric Semantics for Action Refinement
Fundamenta Informaticae
On the Decidability of Non-Interleaving Process Equivalences
Fundamenta Informaticae
A Representation of Processes of Petri Nets by Matrices
Fundamenta Informaticae
Fundamenta Informaticae
Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets
Fundamenta Informaticae
Combining Ccs And Petri Nets Via Structural Axioms
Fundamenta Informaticae
The saga of the axiomatization of parallel composition
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Out-of-order execution and structural equivalence of simulation models
Proceedings of the Winter Simulation Conference
| Hi-index | 0.01 |