ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
How to cook a temporal proof system for your pet language
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
A distributed algorithm for detecting resource deadlocks in distributed systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
A new paradigm for the design of concurrent systems
IRTAW '87 Proceedings of the first international workshop on Real-time Ada issues
Appraising fairness in distributed languages
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A compositional approach to superimposition
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Action system approach to the specification and design of distributed systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Multiparty Interactions for Interprocess Communication and Synchronization
IEEE Transactions on Software Engineering
Fairness and hyperfairness in multi-party interactions
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Stepwise design of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
A stepwise refinement heuristic for protocol construction
ACM Transactions on Programming Languages and Systems (TOPLAS)
An introduction to assertional reasoning for concurrent systems
ACM Computing Surveys (CSUR)
Abstract interpretation of reactive systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synthesis of concurrent systems with many similar processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reasoning about Action Systems using the B-Method
Formal Methods in System Design
Towards programming with knowledge expressions
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
Theoretical Computer Science
Design Templates for Collective Behavior
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Unifying Theories of Parallel Programming
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Liberating Object-Oriented Modeling from Programming-Level Abstractions
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Generalizing Action Systems to Hybrid Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Action Systems with Continuous Behaviour
Hybrid Systems V
Refinement and Continuous Behaviour
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Coordination Among Mobile Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Deriving Software Specifications from Event Based Models
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Retrenchment, Refinement, and Simulation
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Interpreting the B-Method in the Refinement Calculus
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
csp2B: A Practical Approach to Combining CSP and B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Construction of Finite Labelled Transistion Systems from B Abstract Systems
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Refinement in Object-Z and CSP
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Combining Independent Specifications
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Continuous action systems as a model for hybrid systems
Nordic Journal of Computing
Nordic Journal of Computing
Reliability assessment through probabilistic refinement
Nordic Journal of Computing
Action Systems for Security Specification
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
Fair termination of communicating processes
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Real-time specification and modeling with joint actions
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
A Mechanically Proved Development Combining B Abstract Systems and Spin
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Distributed Computing
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Implementation of control systems using B action systems: a case study
Nordic Journal of Computing
A rigorous environment for development of concurrent systems
Nordic Journal of Computing
Fairness and hyperfairness in multi-party interactions
Distributed Computing
High-level synthesis: an essential ingredient for designing complex ASICs
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
Century papers at the first quarter-century milestone
Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing
Formal development of NoC systems in B
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement Algebra for Probabilistic Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Documenting the Progress of the System Development
Methods, Models and Tools for Fault Tolerance
Enabledness and termination in refinement algebra
Science of Computer Programming
The Shadow Knows: Refinement and security in sequential programs
Science of Computer Programming
Model Based Testing of a Network-on-Chip Component
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
B#: toward a synthesis between Z and B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
A stepwise development process for reasoning about the reliability of real-time systems
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Stepwise development of simulink models using the refinement calculus framework
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
A framework for Incorporating trust into formal systems development
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
UML in action: a two-layered interpretation for testing
ACM SIGSOFT Software Engineering Notes
Creating sequential programs from event-B models
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Model-based mutation testing of hybrid systems
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Towards the Composition of Specifications in Event-B
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning algebraically about probabilistic loops
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
A language for modeling network availability
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Multi-process systems analysis using event b: application to group communication systems
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Formal specification of a protocol processor
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
A stepwise development of the peterson's mutual exclusion algorithm using b abstract systems
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
An extension of event b for developing grid systems
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
On two dually nondeterministic refinement algebras
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Continuous action system refinement
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
The shadow knows: refinement of ignorance in sequential programs
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Refinement algebra with operators for enabledness and termination
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Refinement of statemachines using event b semantics
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Formal transformation of platform independent models into platform specific models
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Of probabilistic wp and CSP - and compositionality
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Development of fault tolerant grid applications using distributed b
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
A fixpoint semantics of event systems with and without fairness assumptions
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Model-based analysis tools for component synthesis
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Shared event composition/decomposition in event-b
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Node coordination in peer-to-peer networks
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Refinement-Preserving translation from event-b to register-voice interactive systems
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
The science of killing bugs in a black box
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
Model-based mutation testing of reactive systems: from semantics to automated test-case generation
Theories of Programming and Formal Methods
Formal development of wireless sensor-actor networks
Science of Computer Programming
| Hi-index | 0.00 |
The behavior of a net of interconnected, communicating processes is described in terms of the joint actions in which the processes can participate. A distinction is made between centralized and decentralized action systems. In the former, a central agent with complete information about the state of the system controls the execution of the actions; in the latter no such agent is needed. Properties of joint action systems are expressed in temporal logic. Centralized action systems allow for simple description of system behavior. Decentralized (two-process) action systems again can be mechanically compiled into a collection of CSP processes. A method for transforming centralized action systems into decentralized ones is described. The correctness of this method is proved, and its use is illustrated by deriving a process net that distributedly sorts successive lists of integers.