Register-machine based processes
Journal of the ACM (JACM)
Formal verification of replication on a distributed data space architecture
Proceedings of the 2002 ACM symposium on Applied computing
General distributions in process algebra
Lectures on formal methods and performance analysis
Computer assisted manipulation of algebraic process specifications
ACM SIGPLAN Notices
Equational Axioms for Probabilistic Bisimilarity
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Analysis of a Security Protocol in µCRL
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Axiomatizing GSOS with Termination
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Formal Specification of JavaSpaces Architecture Using µCRL
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Noninterference Equations for Nondeterministic Systems
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
Statically assuring secrecy for dynamic concurrent processes
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Branching time and orthogonal bisimulation equivalence
Theoretical Computer Science
Automatic generation of equivalent architecture model from functional specification
Proceedings of the 41st annual Design Automation Conference
Security policy in a declarative style
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Towards lightweight checks for mass maintenance transformations
Science of Computer Programming
A theory of stochastic systems: part II: process algebra
Information and Computation
Modeling component connectors in Reo by constraint automata
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Relations among quantum processes: bisimilarity and congruence
Mathematical Structures in Computer Science
Data Anonymity in the FOO Voting Scheme
Electronic Notes in Theoretical Computer Science (ENTCS)
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
Using control-flow patterns for specifying business processes in cooperative environments
Proceedings of the 2007 ACM symposium on Applied computing
NOAH: A CSP-based language for describing the behaviour of coupled models
Software—Practice & Experience
Using process algebra to control the execution of business processes
Proceedings of the 2008 ACM symposium on Applied computing
HIV drug resistance analysis tool based on process algebra
Proceedings of the 2008 ACM symposium on Applied computing
TAPAs: A Tool for the Analysis of Process Algebras
Transactions on Petri Nets and Other Models of Concurrency I
Implementing rigorous web services with process algebra: navigation plan for web services
Proceedings of the 2009 ACM symposium on Applied Computing
Transmission Protocols for Instruction Streams
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Process Algebra: An Algebraic Theory of Concurrency
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Instruction Sequences with Dynamically Instantiated Instructions
Fundamenta Informaticae
On Teaching Formal Methods: Behavior Models and Code Analysis
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Teaching Concurrency: Theory in Practice
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Circular Coinduction with Special Contexts
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
The Role of Agent Interaction in Models of Computing: Panelist Reviews
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Verification of Timed Systems Using Cones and Foci
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of Stochastic systems. Part II: Process algebra
Information and Computation
Algebraic approach to optimal clone selection applied in metagenomic projects
ISB '10 Proceedings of the International Symposium on Biocomputing
Default interactions for multi-agent simulations of complex organizations
Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation
What does the user want to see?: what do the data want to be?
Information Visualization
Formalizing SANE virtual processor in thread algebra
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Secure ownership and ownership transfer in RFID systems
ESORICS'09 Proceedings of the 14th European conference on Research in computer security
An Interface Group for Process Components
Fundamenta Informaticae
WISM'10 Proceedings of the 2010 international conference on Web information systems and mining
ACM Transactions on Computational Logic (TOCL)
A process algebra based simulation model of a miniload-workstation order picking system
Computers in Industry
Dynamic consistency in process algebra: From Paradigm to ACP
Science of Computer Programming
Formal enforcement of security policies on concurrent systems
Journal of Symbolic Computation
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Formal modeling
Equational reasoning on ad hoc networks
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Model checking for timed statecharts
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Finite equational bases in process algebra: results and open questions
Processes, Terms and Cycles
Model theory for process algebra
Processes, Terms and Cycles
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
SAT-based verification for timed component connectors
Science of Computer Programming
A programming tutor for haskell
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
The saga of the axiomatization of parallel composition
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Visual inspection of multivariate graphs
EuroVis'08 Proceedings of the 10th Joint Eurographics / IEEE - VGTC conference on Visualization
Abstraction and Idealization in the Formal Verification of Software Systems
Minds and Machines
A Process Calculus with Finitary Comprehended Terms
Theory of Computing Systems
On the Behaviours Produced by Instruction Sequences under Execution
Fundamenta Informaticae
| Hi-index | 0.00 |
From the Publisher:The theory or process algebra has developed rapidly over the last twenty years and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives an introduction into the basics of process algebra and its applications.