Z for concurrent systems

Z for concurrent systems

Bibliographic Details
Main Author:	Evans, Andrew Stephen
Published:	Leeds Beckett University 1996
Subjects:	005 Formal methods
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.309794

Similar Items

Data independent induction : CSP model checking or arbitary sized networks
by: Creese, S. J.
Published: (2001)

Automatic software test data generation from Z specifications using evolutionary algorithms
by: Yang, Xile
Published: (1998)

Use of formal methods in the development of safety critical control software
by: Blow, James Raymond
Published: (2002)

The design and construction of deadlock-free concurrent systems
by: Martin, Jeremy Malcolm Randolph
Published: (1996)

Development aids for structured concurrent systems
by: Morgan, J. D.
Published: (1980)

Coordination and concurrency in workflow management systems
by: Al Turki, Sulaiman A.
Published: (2002)

Groups of symmetries on concurrent systems
by: West, Samantha
Published: (2002)

Formal analysis of concurrent programs
by: Armstrong, Alasdair
Published: (2015)

Performance evaluation of systems of concurrent evaluation
by: Ikekeonwu, G. A. M.
Published: (1982)

The specification and simulation of synchronous concurrent algorithms
by: Martin, Andrew Richard
Published: (1989)

Concurrent program development
by: McEwan, Alistair A.
Published: (2006)

Verification of concurrent safety-critical systems : the compliance-notation approach
by: Atiya, Diyaa-Addein
Published: (2004)

Time, causality, and concurrency
by: Murphy, David V. J.
Published: (1989)

A software component model with concurrency
by: Ntalamagkas, Ioannis
Published: (2009)

DynamiTE : a 21st-century framework for concurrent component-based design
by: Hughes, Andrew John
Published: (2010)

Performance studies of file system design choices for two concurrent processing paradigms
by: Lee, Yong-Woo
Published: (1996)

Vérification formelle de protocoles basés sur de courtes chaines authentifiées
by: Robin, Ludovic
Published: (2018)

Towards the formalisation of object-oriented methodologies
by: Adesina-Ojo, Ayodele Adeola
Published: (2013)

Towards the formalisation of object-oriented methodologies
by: Adesina-Ojo, Ayodele Adeola
Published: (2013)

A refinement calculus for concurrent systems with communications
by: Lai, Lu Ming
Published: (1990)

Concurrent object-oriented execution of OPS5 production systems
by: Odeh, Mohammed Hosni
Published: (1993)

Process-Oriented Patterns for Concurrent Software Engineering
by: Sampson, Adam T.
Published: (2008)

Reasoning about locks and transactions in concurrent programs
by: Barnett, Granville
Published: (2014)

A pragmatic verification approach for concurrent programs
by: Nguyen Lam, Truc
Published: (2017)

A knowledge-level model for concurrent design
by: Barker, Robin
Published: (2002)

Compile-time analysis of concurrent logic programs for multiprocessors
by: King, Andrew Malcolm
Published: (1992)

A logic and model for the Z standard
by: Brien, Stephen
Published: (1999)

A flexible mechanism for concurrency control in database systems
by: Borges, M. R. S. da
Published: (1986)

Efficient execution of concurrent applications using transactional memory
by: Ansari, Mohammad M.
Published: (2009)

Support for model checking Z specifications
by: Siregar, Maria Ulfah
Published: (2016)

Management of concurrency in a reliable object-oriented computing system
by: Parrington, Graham D.
Published: (1988)

Communications in concurrent systems - programming language primitives and interconnection networks
by: Yantchev, Jelio Todorov
Published: (1992)

MC : A concurrent programming language for distributed computer systems
by: Rizk, A.
Published: (1986)

Use of synchronous concurrent algorithms in the development of safety related software
by: Tacy, Adam James
Published: (2005)

Specification and analysis of component-based software in a concurrent setting
by: Moschoyiannis, Sotiris K.
Published: (2005)

Session types in concurrent calculi : higher-order processes and objects
by: Mostrous, Dimitris
Published: (2010)

Timed Concurrent State Machines
by: Wiktor B. Daszczuk
Published: (2007-01-01)

Debugging concurrent and distributed programs
by: Cooper, Robert Charles Beaumont
Published: (1987)

On the measurement of concurrent software designs
by: Rose, Julian H. M.
Published: (1992)

Implementing and extending Concurrent METATEM
by: Kellett, Adam
Published: (2001)