Applications of process-oriented design

Applications of process-oriented design

<p>Concurrency is generally considered to be difficult due to a lack of appropriate abstraction, rather than inherent complexity. Lock-based approaches to mutual exclusion are pervasive, despite the presence of models that are easier to understand, such as the message-passing model present in...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Whitehead, J, James Norman Whitehead
Awduron Eraill:	Spivey, M
Fformat:	Traethawd Ymchwil
Iaith:	English
Cyhoeddwyd:	2014
Pynciau:	Communication Sequential Processing (CSP) Software engineering Theory and automated verification

Eitemau Tebyg

A hierarchy of failures-based models: theory and application
gan: Bolton, C, et al.
Cyhoeddwyd: (2005)

Model Checking Systems with Replicated Components using CSP
gan: Mazur, T
Cyhoeddwyd: (2011)

Formalisations and applications of business process modelling notation
gan: Wong, P
Cyhoeddwyd: (2011)

The formal semantics of a domain-specific modelling language
gan: Grealish, C
Cyhoeddwyd: (2010)

Techniques and tools for the verification of concurrent systems
gan: Palikareva, H
Cyhoeddwyd: (2012)

Semantic models for information flow
gan: Lowe, G
Cyhoeddwyd: (2004)

A mathematical theory of communicating processes
gan: Roscoe, A, et al.
Cyhoeddwyd: (1982)

CSP2Turtle: Verified Turtle Robot Plans
gan: Dara MacConville, et al.
Cyhoeddwyd: (2023-04-01)

The timed failures - stability model for CSP
gan: Reed, G, et al.
Cyhoeddwyd: (1999)

Using data-independence in the analysis of intrusion detection systems
gan: Rohrmair, G, et al.
Cyhoeddwyd: (2005)

Confluence thanks to extensional determinism
gan: Roscoe, A
Cyhoeddwyd: (2006)

An algebraic theory of componentised interaction
gan: Chilton, C
Cyhoeddwyd: (2013)

Static analyses over weak memory
gan: Nimal, V, et al.
Cyhoeddwyd: (2014)

Particularities of Verification Processes for Distributed Informatics Applications
gan: Ion IVAN, et al.
Cyhoeddwyd: (2013-01-01)

Probabilistic guarded commands mechanized in HOL
gan: Hurd, J, et al.
Cyhoeddwyd: (2005)

Intersection types and higer-order model checking
gan: Ramsay, S, et al.
Cyhoeddwyd: (2014)

Precise verification of C programs
gan: Lewis, M
Cyhoeddwyd: (2014)

Automated quantitative software verification
gan: Kattenbelt, M
Cyhoeddwyd: (2010)

Forward looking logics and automata
gan: Ley, C
Cyhoeddwyd: (2011)

Incremental modelling for verified communication architectures
gan: Boehm, P, et al.
Cyhoeddwyd: (2011)

Predicate Abstraction of ANSI-C Programs Using SAT
gan: Clarke, E, et al.
Cyhoeddwyd: (2004)

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
gan: Adams, S
Cyhoeddwyd: (2014)

MODELS AND METHODS OF THE THEORY OF BUSINESS PROCESSES (REVIEW)
gan: Georgiy N. Kalyanov
Cyhoeddwyd: (2016-05-01)

THE THEORY OF BUSINESS PROCESSES: FORMAL MODELS AND METHODS
gan: Georgiy N. Kalyanov
Cyhoeddwyd: (2016-08-01)

Program synthesis from domain specific object models
gan: Faitelson, D
Cyhoeddwyd: (2008)

A framework of trust in service workflows
gan: Viriyasitavat, W
Cyhoeddwyd: (2013)

Quantitative verification of real-time properties with application to medical devices
gan: Marco Diciolla, M, et al.
Cyhoeddwyd: (2014)

INVESTIGATION AND ANALYSIS OF AUTOMATIC TESTING SYSTEMS OF APPLICATIONS
gan: A. Antonova, et al.
Cyhoeddwyd: (2016-12-01)

On learning assumptions for compositional verification of probabilistic systems
gan: Feng, L
Cyhoeddwyd: (2014)

Functions with local state: regularity and undecidability
gan: Murawski, A
Cyhoeddwyd: (2005)

Game semantics based equivalence checking of higher-order programs
gan: Hopkins, D, et al.
Cyhoeddwyd: (2012)

THE PRESENT STATE OF THE INFORMATION-MEASURING SYSTEMS FOR CHECKING HIGH VOLTAGE CONVERTERS
gan: A.S. Ilin, et al.
Cyhoeddwyd: (2022-12-01)

Introduction to adoption of lean canvas in software test architecture design
gan: Padmaraj Nidagundi, et al.
Cyhoeddwyd: (2017-01-01)

Fast Designing Ladder Diagram of Programmable Logic Controller for a Technological Process
gan: Adam Szcześniak, et al.
Cyhoeddwyd: (2022-12-01)

Concurrency specification using Event-based Specification Chart
gan: Dumitru Ciorba, et al.
Cyhoeddwyd: (2012-02-01)

Partial correctness for probabilistic demonic programs
gan: McIver, A, et al.
Cyhoeddwyd: (2001)

Repairing strings and trees
gan: Riveros Jaeger, C
Cyhoeddwyd: (2013)

An interpolating decision procedure for transitive relations with uninterpreted functions
gan: Kroening, D, et al.
Cyhoeddwyd: (2009)

THE CURRENT AND FUTURE ENERGY ECONOMICS OF CONCENTRATING SOLAR POWER (CSP) IN SOUTH AFRICA
gan: O O Craig, et al.
Cyhoeddwyd: (2017-11-01)

Optimization of the Design and Operation of Hybrid CSP-PV-Wind Plants
gan: Lorenzo Pilotti, et al.
Cyhoeddwyd: (2024-09-01)