POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Behavioral equivalence in the polymorphic pi-calculus
Journal of the ACM (JACM)
Dynamic connectors for concurrency
Theoretical Computer Science
Modeling concurrent real-time processes using discrete events
Annals of Software Engineering
Normal forms for algebras of connections
Theoretical Computer Science
Normal Forms for Partitions and Relations
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Reasoning About Concurrent Systems Using Types
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Modelling with hierarchical object Petri nets
Fundamenta Informaticae - Concurrency specification and programming
Elementary structures in process theory (1): Sets with renaming
Mathematical Structures in Computer Science
Categorical logic of names and abstraction in action calculi
Mathematical Structures in Computer Science
Categorical logic of names and abstraction in action calculi
Mathematical Structures in Computer Science
Behavioral type inference: part I - algebraic theory for bahavioral type inference
Formal methods and models for system design
Mathematical Structures in Computer Science
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Electronic Notes in Theoretical Computer Science (ENTCS)
Causality interfaces for actor networks
ACM Transactions on Embedded Computing Systems (TECS)
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Quantum and Classical Structures in Nondeterminstic Computation
QI '09 Proceedings of the 3rd International Symposium on Quantum Interaction
The Calculus of Handshake Configurations
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A perspective on service orchestration
Science of Computer Programming
A Petri Net Model of Handshake Protocols
Electronic Notes in Theoretical Computer Science (ENTCS)
Graphical reasoning in compact closed categories for quantum computation
Annals of Mathematics and Artificial Intelligence
Petri nets, discrete physics, and distributed quantum computation
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
An ordered category of processes
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Concurrent semantics without the notions of state or state transitions
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Modelling with Hierarchical Object Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Quarantining weakness: compositional reasoning under relaxed memory models
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
| Hi-index | 0.01 |