Synthesizing Concurrency Control Components from Process Algebraic Specifications (original) (raw)
Related papers
Process algebra with guards: Combining Hoare logic with process algebra
Formal Aspects of Computing
An action-based framework for veryfying logical and behavioural properties of concurrent systems
Computer Networks and ISDN Systems, 1993
Formalizing process algebraic verifications in the calculus of constructions
Formal Aspects of Computing, 1997
Theoretical Computer Science, 1990
Parallel composition of assumption-commitment specifications
Acta Informatica, 1996
Algebraic Specification of Concurrent Systems
Algebraic Foundations of Systems Specification, 1999
Towards Action-Refinement in Process Algebras
Information and Computation, 1993
Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach
Using Answer Set Programming Solvers to Synthesize Concurrent Programs
Research Report Series of Iasi Cnr Rome Italy, 2012
Translating concurrent action oriented specifications to synchronous guarded actions
2010
Pi+-calculus: A calculus for concurrent processes with constraints
1998
An exercise in formalizing the description of a concurrent system
Software: Practice and Experience, 1992
Programming in concurrent logic languages
IEEE Software, 1995
A tactic language for refinement of state-rich concurrent specifications
Marcel Vinicius Medeiros Oliveira
Science of Computer Programming, 2011
A process algebra for synchronous concurrent constraint programming
Lecture Notes in Computer Science, 1996
Guarded Horn clauses: A parallel logic programming language with the concept of a guard
Programming of Future Generation Computers, 1987
On Composing Concurrent Logic Processes
Proc. 12th Int'l Conf. on Logic Programming, ICLP
Translating Synchronous Guarded Actions to Interleaved Guarded Actions
A Procedure for Splitting Processes and its Application to Coordination
2012
A fully abstract model for concurrent logic languages
1990
JACK: A process algebra implementation in Java
2002
JACK: A Framework for Process Algebra Implementation in Java
2000
CSP: The Best Concurrent-System Description Language in the World-Probably!
… architectures 2004: WoTUG-27: proceedings of …, 2004
Process algebra with action dependencies
Acta informatica, 2001
An abstract interpretation scheme for identifying inherent parallelism in logic programs
New Generation Computing, 1990
On the Parameterized Algebraic Specification of Concurrent Systems
Generic process algebra: A programming challenge
2006
Logical specification of processes
Witness and Counterexample Automata for ACTL
Robert Meolic, Alessandro Fantechi
Lecture Notes in Computer Science, 2004
CSP: The Best Concurrent-System Description Language in the World – Probably! Extended Abstract
2010
Structuring Processes as a Sequence of Nested Atomic Actions
IFAC Proceedings Volumes, 1985
Action Refinement in Process Algebra and Security Issues
Lecture Notes in Computer Science, 2008