Dynamic connectors for concurrency
Theoretical Computer Science
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
Orchestrating Transactions in Join Calculus
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Two Problems in Wide Area Network Programming
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Open Ended Systems, Dynamic Bisimulation and Tile Logic
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Linear Ordered Graph Grammars and Their Algebraic Foundations
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
Mathematical Structures in Computer Science
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science
CONCUR 2005 - Concurrency Theory
Petri Net Processes for Zero-Safe Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming
Theory and Practice of Logic Programming
Towards a Notion of Transaction in Graph Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Synchronous Multiparty Synchronizations and Transactions
Concurrency, Graphs and Models
On the Synthesis of Zero-Safe Nets
Concurrency, Graphs and Models
Models of Computation: A Tribute to Ugo Montanari's Vision
Concurrency, Graphs and Models
Coordination: Reo, Nets, and Logic
Formal Methods for Components and Objects
Linear Properties of Zero-Safe Nets with Debit Tokens
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Hornets: Nets within Nets Combined with Net Algebra
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
On the Expressiveness of Communication Channels for Object Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Web Services and Models of Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Executing transactions in zero-safe nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Causal nets: a modeling language tailored towards process discovery
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Simultaneity in event structures
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Graph transactions as processes
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Causality in structured occurrence nets
Dependable and Historic Computing
Modeling dependencies and simultaneity in membrane system computations
Theoretical Computer Science
On the Expressiveness of Communication Channels for Object Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Linear Properties of Zero-Safe Nets with Debit Tokens
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Regions of Petri nets with a/sync connections
Theoretical Computer Science
Petri Net Processes for Zero-Safe Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Concurrent flexible reversibility
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Hi-index | 0.00 |