A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Petri nets: an introduction
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
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fairness
Modeling concurrency with partial orders
International Journal of Parallel Programming
Journal of the ACM (JACM)
Petr nets, algebras, morphisms, and compositionality
Information and Computation
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Three partition refinement algorithms
SIAM Journal on Computing
Algebraic theory of processes
Characterizing finite Kripke structures in propositional temporal logic
Theoretical Computer Science - International Joint Conference on Theory and Practice of Software Development, P
Parallel program design: a foundation
Parallel program design: a foundation
Communications of the ACM
Communication and concurrency
The definition of Standard ML
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
CCS expressions finite state processes, and three problems of equivalence
Information and Computation
Viewing object as patterns of communicating agents
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Process algebra
Bisimulation through probabilistic testing
Information and Computation
Nets, terms and formulas: three views of concurrent processes and their relationship
Nets, terms and formulas: three views of concurrent processes and their relationship
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Higher-order concurrency
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Structured operational semantics and bisimulation as a congruence
Information and Computation
Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
Decidability of bisimulation equivalence for process generating context-free languages
Journal of the ACM (JACM)
Higher-order concurrent programs with finite communication topology (extended abstract)
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A linear-time model-checking algorithm for the alternation-free modal mu-calculus
Formal Methods in System Design - Special issue on computer-aided verification: special methods II
Model checking and boolean graphs
Theoretical Computer Science - Selected papers of the 17th Colloquium on Trees in Algebra and Programming (CAAP '92) and of the European Symposium on Programming (ESOP), Rennes, France, Feb. 1992
Theoretical Computer Science
Analyzing stores and references in a parallel symbolic language
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
A resource-based prioritized bisimulation for real-time systems
Information and Computation
Turning SOS rules into equations
Information and Computation
A classical mind
A theory of higher order communicating systems
Information and Computation
Verification of the Futurebus+ cache coherence protocol
Formal Methods in System Design - Special issue on symbolic model checking
Thoughts on parallelism and concurrency in compiling curricula
ACM Computing Surveys (CSUR)
Reactive, generative, and stratified models of probabilistic processes
Information and Computation
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Handbook of logic in computer science (vol. 4)
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Specification structures and propositions-as-types for concurrency
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
Proceedings of the DIMACS workshop on Partial order methods in verification
POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification
Formal verification of parallel programs
Communications of the ACM
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Time and Probability in Formal Design of Distributed Systems
Time and Probability in Formal Design of Distributed Systems
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Proceedings of the 8th International Conference on Computer Aided Verification
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Action Calculi, or Syntactic Action Structures
MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
Concurrent Objects in a Process Calculus
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming
A Front-End Generator for Verification Tools
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
From CML to Process Algebras (Extended Abstract)
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Retracting Some Paths in Process Algebra
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Specification and verification of concurrent systems in CESAR
Proceedings of the 5th Colloquium on International Symposium on Programming
The box calculus: a new causal algebra with multi-label communication
Advances in Petri Nets 1992, The DEMON Project
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
PAM: A Process Algebra Manipulator
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Exploiting Symmetry In Temporal Logic Model Checking
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract)
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
An introduction to event structures
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Full Abstraction in Structural Operational Semantics (Extended Abstract)
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Efficient On-the-Fly Model Checking for CTL
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
The Stone Gamut: A Coordinatization of Mathematics
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Two examples of verification of multirate timed automata with Kronos
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
CSP and determinism in security modelling
SP '95 Proceedings of the 1995 IEEE Symposium on Security and Privacy
Interactive verification exploiting program design knowledge: a model-checker for unity
Interactive verification exploiting program design knowledge: a model-checker for unity
Cooperating Sequential Processes, Technical Report EWD-123
Cooperating Sequential Processes, Technical Report EWD-123
Efficient parallel algorithms can be made robust
Distributed Computing
Logics for concurrency: structure versus automata
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Where is the algorithmic support?
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Parallel Algorithms for Relational Coarsest Partition Problems
IEEE Transactions on Parallel and Distributed Systems
General distributions in process algebra
Lectures on formal methods and performance analysis
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Behaviour model elaboration using partial labelled transition systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Learning concurrency: evolution of students' understanding of synchronization
International Journal of Human-Computer Studies
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards the hierarchical verification of reactive systems
Theoretical Computer Science - Logic, semantics and theory of programming
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Bisimulations up-to for the linear time branching time spectrum
CONCUR 2005 - Concurrency Theory
(Bi)simulations up-to characterise process semantics
Information and Computation
Future Direction and Roadmap of Concurrent System Technology
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Deadlock-freedom in component systems with architectural constraints
Formal Methods in System Design
| Hi-index | 0.00 |