Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation (original) (raw)
Related papers
Non-synchronous Communications in Process Algebraic Architectural Description Languages
Lecture Notes in Computer Science, 2008
Detecting architectural mismatches in process algebraic descriptions of software systems
wicsa, 2001
2016
Software architecture modelling and analysis in process algebra
2013
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Lecture Notes in Computer Science, 2006
Communicating Process Architectures 2005
2008
An “abstract process” approach to algebraic dynamic architecture description
Carlos E Cuesta, Pablo Fuente Redondo
Journal of Logic and …, 2005
Using Category Theory to Verify Implementation Against Design in Concurrent Systems
Procedia Computer Science, 2015
Algebraic Specification of Concurrent Systems
Algebraic Foundations of Systems Specification, 1999
On the Formalization of Architectural Types With Process Algebras
Proceedings of the 8th …, 2000
Specification, abstraction and verification in a concurrent object-oriented language
1996
Concurrent Software Architectures
Kaisler/Software Paradigms, 2005
Abstracting process-to-function relations in concurrent object-oriented applications
Lecture Notes in Computer Science
Procedia Computer Science, 2016
Formalizing process algebraic verifications in the calculus of constructions
Formal Aspects of Computing, 1997
Specification and Verification of Synchronizing Concurrent Objects
2004
Protocol modelling: synchronous composition of data and behaviour
2016
Specification of Synchronizing Processes
IEEE Transactions on Software Engineering, 2000
An exercise in formalizing the description of a concurrent system
Software: Practice and Experience, 1992
A specification language for coordinated objects
Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05, 2005
Process algebra for synchronous communication
Information and Control, 1984
Proceedings of the 2014 International C* Conference on Computer Science & Software Engineering - C3S2E '14, 2008
Combining B Tools for Multi-Process Systems Specification
2006
The ClassiC programming language and design of synchronous concurrent object oriented languages
Journal of Systems Architecture, 1998
An introduction to compositional methods for concurrency and their application to real-time
Sadhana, 1992
A process algebra for synchronous concurrent constraint programming
Lecture Notes in Computer Science, 1996
A Formal Framework for Specifying Concurrent Systems
International Journal of Computer Applications, 2013
A process algebraic framework for specification and validation of real-time systems
Formal Aspects of Computing, 2009
2001
Specification and refinement of dynamic software architectures
Software architecture: TC2 first …, 1999
Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures
2008
Property verification of asynchronous systems
Innovations in Systems and Software Engineering, 2005
Specification and refinement of dynamic software architectures, Software Architecture
1999
Single-threaded specification of process-interaction formalism in Java
Proceedings of the 36th conference on …, 2004
A formal foundation for concurrent object oriented programming
1995