A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Communicating sequential processes
Communicating sequential processes
“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Specification-oriented semantics for communicating processes
Acta Informatica
Modeling concurrency with partial orders
International Journal of Parallel Programming
Another look at abstraction in process algebra
14th International Colloquium on Automata, languages and programming
Readiness semantics for regular processes with silent actions
14th International Colloquium on Automata, languages and programming
Observation equivalence as a testing equivalence
Theoretical Computer Science
On the consistency of Koomen's fair abstraction rule
Theoretical Computer Science
Theoretical Computer Science
Ready-trace semantics for concrete process algebra with the priority operator
The Computer Journal
Characterizing finite Kripke structures in propositional temporal logic
Theoretical Computer Science - International Joint Conference on Theory and Practice of Software Development, P
Communication and concurrency
Information and Computation
CCS expressions finite state processes, and three problems of equivalence
Information and Computation
Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications
Proceedings of the international workshop on Automatic verification methods for finite state systems
Refinement of actions in causality based models
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
An efficient algorithm for branching bisimulation and stuttering equivalence
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Process algebra
About semantic action refinement
Fundamenta Informaticae
Action versus state based logics for transition systems
Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
The linear time-branching time spectrum (extended abstract)
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Maximality preserving bisimulation
Theoretical Computer Science
Modular specification of process algebras
Theoretical Computer Science
Deciding bisimulation equivalences for a class of non-finite-state programs
Information and Computation
Undecidable equivalences for basic process algebra
Information and Computation
Journal of the ACM (JACM)
Three logics for branching bisimulation
Journal of the ACM (JACM)
Translations between modal logics of reactive systems
AMAST '93 Selected papers of the international conference on Algebraic methodology of software technology
Structural operational semantics for weak bisimulations
Theoretical Computer Science
Bisimulation equivalence is decidable for all context-free processes
Information and Computation
Branching bisimilarity is an equivalence indeed!
Information Processing Letters
A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours
MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
Linear and Branching Structures in the Semantics and Logics of Reactive Systems
Proceedings of the 12th Colloquium on Automata, Languages and Programming
Lectures on a Calculus for Communicating Systems
Seminar on Concurrency, Carnegie-Mellon University
Multiway Synchrinizaton Verified with Coupled Simulation
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
The Linear Time - Branching Time Spectrum II
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Some equivalence notions for concurrent systems. An overview
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
A Modal Characterisation of Observable Machine-Behaviour
CAAP '81 Proceedings of the 6th Colloquium on Trees in Algebra and Programming
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
On Observing Nondeterminism and Concurrency
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Register-machine based processes
Journal of the ACM (JACM)
Process algebra for performance evaluation
Theoretical Computer Science
Formal verification of replication on a distributed data space architecture
Proceedings of the 2002 ACM symposium on Applied computing
Information and Computation
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Process algebra and Markov chains
Lectures on formal methods and performance analysis
Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce
Electronic Commerce Research
Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
State Space Reduction Using Partial tau-Confluence
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Model Checking Modal Transition Systems Using Kripke Structures
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Process Languages for Rooted Eager Bisimulation
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Simulation for Continuous-Time Markov Chains
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Refinement and Verification Applied to an In-Flight Data Acquisition Unit
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Norm Functions for Probabilistic Bisimulations with Delays
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
State Space Reduction by Proving Confluence
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Lightweight consistency analysis of dataflow process networks
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Life-cycle inheritance in concurrent object-oriented systems
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Information Technology and Management
Branching time and orthogonal bisimulation equivalence
Theoretical Computer Science
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
Probabilistic weak simulation is decidable in polynomial time
Information Processing Letters
Process mining: a research agenda
Computers in Industry - Special issue: Process/workflow mining
Minimisation and minimal realisation in Span(Graph)
Mathematical Structures in Computer Science
A theory of normed simulations
ACM Transactions on Computational Logic (TOCL)
On the computational complexity of bisimulation, redux
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
Business-to-business workflow interoperation based on process-views
Decision Support Systems
When are two workflows the same?
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Translating Java for Multiple Model Checkers: The Bandera Back-End
Formal Methods in System Design
A brief history of process algebra
Theoretical Computer Science - Process algebra
Comparative branching-time semantics for Markov chains
Information and Computation
SOS for higher order processes
CONCUR 2005 - Concurrency Theory
Towards lightweight checks for mass maintenance transformations
Science of Computer Programming
The compression structure of a process
Information Processing Letters
Information and Computation
Cones and foci: A mechanical framework for protocol verification
Formal Methods in System Design
A foundation for behavioural conformance in software product line architectures
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Branching bisimulation for probabilistic systems: characteristics and decidability
Theoretical Computer Science - Expressiveness in concurrency
Discovering Expressive Process Models by Clustering Log Traces
IEEE Transactions on Knowledge and Data Engineering
A general approach to comparing infinite-state systems with their finite-state specifications
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
YAWL: yet another workflow language
Information Systems
Optimization techniques for BDD-based bisimulation computation
Proceedings of the 17th ACM Great Lakes symposium on VLSI
Remarks on Testing Probabilistic Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
Genetic process mining: an experimental evaluation
Data Mining and Knowledge Discovery
Operational semantics for Petri net components
Theoretical Computer Science
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
Testing object-oriented industrial software without precise oracles or results
Communications of the ACM
Functional verification of task partitioning for multiprocessor embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Quantifying process equivalence based on observed behavior
Data & Knowledge Engineering
Universal extensions to simulate specifications
Information and Computation
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
Parallel Processes with Implicit Computational Capital
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Process Algebra with Local Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioral analysis of web services for supporting mediated service interoperations
Proceedings of the 10th international conference on Electronic commerce
A Context-Free Process as a Pushdown Automaton
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
State Space Reduction Techniques for Component Interfaces
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Model Based Importance Analysis for Minimal Cut Sets
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
On Measuring Process Model Similarity Based on High-Level Change Operations
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Branching Bisimulation Congruence for Probabilistic Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Non-desynchronizable Service Choreographies
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
TAPAs: A Tool for the Analysis of Process Algebras
Transactions on Petri Nets and Other Models of Concurrency I
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
Transactions on Petri Nets and Other Models of Concurrency I
Is Timed Branching Bisimilarity a Congruence Indeed?
Fundamenta Informaticae
On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
A ground-complete axiomatisation of finite-state processes in a generic process algebra
Mathematical Structures in Computer Science
Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences
Electronic Notes in Theoretical Computer Science (ENTCS)
A Basic Parallel Process as a Parallel Pushdown Automaton
Electronic Notes in Theoretical Computer Science (ENTCS)
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Branching Bisimilarity with Explicit Divergence
Fundamenta Informaticae
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
A Sound Observational Semantics for Modal Transition Systems
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Formalizing Adaptation On-the-Fly
Electronic Notes in Theoretical Computer Science (ENTCS)
Seven process modeling guidelines (7PMG)
Information and Software Technology
Measuring the Compliance of Processes with Reference Models
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
APLAS '09 Proceedings of the 7th Asian Symposium on Programming Languages and Systems
Concise Graphs and Functional Bisimulations
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysing the BKE-security Protocol with μCRL
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional Minimization in Span(Graph): Some Examples
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Comparative branching-time semantics for Markov chains
Information and Computation
On the computational complexity of bisimulation, redux
Information and Computation
The compression structure of a process
Information Processing Letters
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Cones and foci for protocol verification revisited
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Deciding life-cycle inheritance on Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Behavioral consistency for B2B process integration
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Translating FSP into LOTOS and networks of automata
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Adaptation of open component-based systems
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Data-aware design and verification of service compositions with Reo and mCRL2
Proceedings of the 2010 ACM Symposium on Applied Computing
Action abstraction in timed process algebra: the case for an untimed silent step
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
From public views to private views: correctness-by-design for services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Local enforceability in interaction Petri nets
BPM'07 Proceedings of the 5th international conference on Business process management
A workflow net similarity measure based on transition adjacency relations
Computers in Industry
On hierarchically developing reactive systems
Information and Computation
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Specification and verification of harmonized business-process collaborations
Information Systems Frontiers
Tree-functors, determinacy and bisimulations
Mathematical Structures in Computer Science
Application of static analyses for state-space reduction to the microcontroller binary code
Science of Computer Programming
Interaction-centric modeling of process choreographies
Information Systems
A model-based approach for multiple QoS in scheduling: from models to implementation
Automated Software Engineering
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
The how and why of interactive Markov chains
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Folk theorems on the correspondence between state-based and event-based systems
SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science
Model independent order relations for processes
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems
Information and Computation
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems
Information and Computation
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Reduction of interrupt handler executions for model checking embedded software
HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing
Simulation refinement for concurrency verification
Science of Computer Programming
Dynamic consistency in process algebra: From Paradigm to ACP
Science of Computer Programming
Confluence reduction for probabilistic systems
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Identifying refactoring opportunities in process model repositories
Information and Software Technology
Electronic Notes in Theoretical Computer Science (ENTCS)
Property-dependent reductions for the modal Mu-calculus
Proceedings of the 18th international SPIN conference on Model checking software
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Game-theoretic simulation checking tool
Programming and Computing Software
Axiomatizing weak ready simulation semantics over BCCSP
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Bisimulations meet PCTL equivalences for probabilistic automata
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Refining the process rewrite systems hierarchy via ground tree rewrite systems
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Branching bisimulation congruence for probabilistic systems
Theoretical Computer Science
Divide and congruence: from decomposition of modalities to preservation of branching bisimulation
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Choreographies as federations of choreographies and orchestrations
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
Is timed branching bisimilarity an equivalence indeed?
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Reverse observation equivalence between labelled state transition systems
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Process equivalence: comparing two process models based on observed behavior
BPM'06 Proceedings of the 4th international conference on Business Process Management
Choreography and orchestration: a synergic approach for system design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
A process-theoretic look at automata
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Equational reasoning on ad hoc networks
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Change mining in adaptive process management systems
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Analysis of compositional conflicts in component-based systems
SC'05 Proceedings of the 4th international conference on Software Composition
On cool congruence formats for weak bisimulations
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Forgetting the time in timed process algebra: timeless behaviour in a timestamped world
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Operational determinism and fast algorithms
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Sigref: a symbolic bisimulation tool box
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
A characterisation of weak bisimulation congruence
Processes, Terms and Cycles
Information and Computation
Synthesis of scenario based test cases from b models
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Applying specialization to petri nets: implications for workflow design
BPM'05 Proceedings of the Third international conference on Business Process Management
Configurable process models as a basis for reference modeling
BPM'05 Proceedings of the Third international conference on Business Process Management
Stochastic restricted broadcast process theory
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Specification guidelines to avoid the state space explosion problem
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
On distributability of petri nets
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Formally based modeling and inheritance of behaviour in object-oriented systems
Journal of Systems and Software
Encapsulating deontic and branching time specifications
Theoretical Computer Science
Branching Bisimilarity with Explicit Divergence
Fundamenta Informaticae
Is Timed Branching Bisimilarity a Congruence Indeed?
Fundamenta Informaticae
Weak markovian bisimulation congruences and exact CTMC-Level aggregations for sequential processes
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Reusable and correct endogenous model transformations
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
An Axiomatization for Regular Processes in Timed Branching Bisimulation
Fundamenta Informaticae
A COMPLETE AXIOMATIZATION FOR PREFIX ITERATION IN BRANCHING BISIMULATION
Fundamenta Informaticae
Equivalence checking for infinite systems using parameterized Boolean equation systems
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
A cure for stuttering parity games
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Isotactics as a foundation for alignment and abstraction of behavioral models
BPM'12 Proceedings of the 10th international conference on Business Process Management
Unique parallel decomposition in branching and weak bisimulation semantics
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Assessing and governing IT-staff behavior by performance-based simulation
Computers in Human Behavior
A symbolic framework for the conformance checking of value-passing choreographies
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Incremental formal verification for model refining
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
On Utilizing Web Service Equivalence for Supporting the Composition Life Cycle
International Journal of Web Services Research
Model checking of scenario-aware dataflow with CADP
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Information and Computation
A graph distance based metric for data oriented workflow retrieval with variable time constraints
Expert Systems with Applications: An International Journal
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Hi-index | 0.03 |
In comparative concurrency semantics, one usually distinguishes between linear time and branching time semantic equivalences. Milner's notion of observatin equivalence is often mentioned as the standard example of a branching time equivalence. In this paper we investigate whether observation equivalence really does respect the branching structure of processes, and find that in the presence of the unobservable action &tgr; of CCS this is not the case.Therefore, the notion of branching bisimulation equivalence is introduced which strongly preserves the branching structure of processes, in the sense that it preserves computations together with the potentials in all intermediate states that are passed through, even if silent moves are involved. On closed CCS-terms branching bisimulation congruence can be completely axiomatized by the single axion scheme: a.(&tgr;.(y+z)+y)=a.(y+z) (where a ranges over all actions) and the usual loaws for strong congruence.We also establish that for sequential processes observation equivalence is not preserved under refinement of actions, whereas branching bisimulation is.For a large class of processes, it turns out that branching bisimulation and observation equivalence are the same. As far as we know, all protocols that have been verified in the setting of observation equivalence happen to fit in this class, and hence are also valid in the stronger setting of branching bisimulation equivalence.