Coordination and concurrency in workflow management systems

Coordination and concurrency in workflow management systems

Bibliographic Details
Main Author:	Al Turki, Sulaiman A.
Published:	University of East Anglia 2002
Subjects:	005 Control
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.251712

Similar Items

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

Z for concurrent systems
by: Evans, Andrew Stephen
Published: (1996)

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

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

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

Semantic type checking in scientific workflows
by: Derouiche, Kheiredine
Published: (2009)

A comparative study of the performance of concurrency control algorithms in a centralised database
by: Ross, Donald Francis
Published: (1988)

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

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

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

Process Coordination and Resource Management
by: Taylor, R. J. B.
Published: (1978)

Automatic portal generation based on XML workflow description
by: Lu, Dashan
Published: (2010)

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)

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

Multi-objective optimisation of compute and data intensive e-science workflows
by: Habib, Irfan
Published: (2011)

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)

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

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)

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

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)

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

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

A design environment for deadlock-free concurrent software
by: Khan, Mahmood A.
Published: (1992)

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)

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)

Formal specification and verification of synchronous concurrent algorithms
by: Hobley, Keith Michael
Published: (1990)

Interactive graphical support for sequential and concurrent programming
by: Man-Chi, P.
Published: (1985)

A cache coherence protocol for concurrency control and recovery in distributed object-oriented systems
by: Min, Sung-Gi
Published: (1993)

Typed static analysis for concurrent, policy-based, resource access control
by: Nguyen, Nicholas
Published: (2006)

An Agent Based Distributed Workflow-oriented Auditing Architecture : A Solution Inter-banking E-trading Transactions
by: Perez, Clara Aglaya Corzo
Published: (2010)