A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Programming languages and their definition
Programming languages and their definition
Communicating sequential processes
Communicating sequential processes
Algebraic theory of processes
A timed model for communicating sequential processes
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
Process algebra
A temporal calculus of communicating systems
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Real-time behaviour of asynchronous agents
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Process algebra semantics of POOL
Empowering networks
A calculus of mobile processes, I
Information and Computation
The algebra of timed processes, ATP: theory and application
Information and Computation
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Axiomatizing probabilistic processes: ACP with generative probabilities
Information and Computation
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
A compositional approach to performance modelling
A compositional approach to performance modelling
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
A calculus for cryptographic protocols: the spi calculus
Proceedings of the 4th ACM conference on Computer and communications security
Theoretical Computer Science
Concurrent Processes and Their Syntax
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Theoretical Computer Science
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
Verifying properties of parallel programs: an axiomatic approach
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Information Processing Letters
An Introduction to Formal Languages and Automata
An Introduction to Formal Languages and Automata
Communication and Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Concurrent and Real Time Systems: The CSP Approach
Concurrent and Real Time Systems: The CSP Approach
Handbook of Process Algebra
Process Algebra with Timing
The Algebra of Recursively Defined Processes and the Algebra of Regular Processes
Proceedings of the 11th Colloquium on Automata, Languages and Programming
NAPAW '92 Proceedings of the First North American Process Algebra Workshop
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
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
Introduction to General Net Theory
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
CADP - A Protocol Validation and Verification Toolbox
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
On Observing Nondeterminism and Concurrency
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Denotational semantics of concurrency
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Computer assisted manipulation of algebraic process specifications
Computer assisted manipulation of algebraic process specifications
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Software engineering for pervasive services
Proceedings of the 3rd ACM workshop on Software engineering for pervasive services
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Towards a Calculus for Collection-Oriented Scientific Workflows with Side Effects
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
A Model of Computation for Bit-Level Concurrent Computing and Programming: APEC
IEICE - Transactions on Information and Systems
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Process Algebra: An Algebraic Theory of Concurrency
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
On linear logic planning and concurrency
Information and Computation
Algebra and logic for resource-based systems modelling
Mathematical Structures in Computer Science
Modeling and Verification of Privacy Enhancing Protocols
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Specification and planning of UAV missions: a process algebra approach
ACC'09 Proceedings of the 2009 conference on American Control Conference
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Proceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks
From individuals to populations: A mean field semantics for process algebra
Theoretical Computer Science
A language for behavioural modelling of architectural patterns
Proceedings of the Third Workshop on Behavioural Modelling
Formal enforcement of security policies on concurrent systems
Journal of Symbolic Computation
Property-dependent reductions for the modal Mu-calculus
Proceedings of the 18th international SPIN conference on Model checking software
Hume box calculus: robust system development through software transformation
Higher-Order and Symbolic Computation
Finite equational bases in process algebra: results and open questions
Processes, Terms and Cycles
SAT-based verification for timed component connectors
Science of Computer Programming
Evolving Bio-PEPA process algebra models using genetic programming
Proceedings of the 14th annual conference on Genetic and evolutionary computation
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Journal of Network and Computer Applications
The saga of the axiomatization of parallel composition
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
Proceeings of the 2nd International Workshop on Worst-Case Traversal Time
Dataflow constructs for a language extension based on the algebra of communicating processes
Proceedings of the 4th Workshop on Scala
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed ECA rules for data management policies
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
A systematic literature review of service choreography adaptation
Service Oriented Computing and Applications
AI methods in algorithmic composition: a comprehensive survey
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
This note addresses the history of process algebra as an area of research in concurrency theory, the theory of parallel and distributed systems in computer science. Origins are traced back to the early seventies of the twentieth century, and developments since that time are sketched. The author gives his personal views on these matters. He also considers the present situation, and states some challenges for the future.