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...

書誌詳細
主要な著者:	Whitehead, J, James Norman Whitehead
その他の著者:	Spivey, M
フォーマット:	学位論文
言語:	English
出版事項:	2014
主題:	Communication Sequential Processing (CSP) Software engineering Theory and automated verification

類似資料

A hierarchy of failures-based models: theory and application
著者:: Bolton, C, 等
出版事項: (2005)

Model Checking Systems with Replicated Components using CSP
著者:: Mazur, T
出版事項: (2011)

Formalisations and applications of business process modelling notation
著者:: Wong, P
出版事項: (2011)

The formal semantics of a domain-specific modelling language
著者:: Grealish, C
出版事項: (2010)

Techniques and tools for the verification of concurrent systems
著者:: Palikareva, H
出版事項: (2012)

Semantic models for information flow
著者:: Lowe, G
出版事項: (2004)

A mathematical theory of communicating processes
著者:: Roscoe, A, 等
出版事項: (1982)

CSP2Turtle: Verified Turtle Robot Plans
著者:: Dara MacConville, 等
出版事項: (2023-04-01)

The timed failures - stability model for CSP
著者:: Reed, G, 等
出版事項: (1999)

Using data-independence in the analysis of intrusion detection systems
著者:: Rohrmair, G, 等
出版事項: (2005)

Confluence thanks to extensional determinism
著者:: Roscoe, A
出版事項: (2006)

An algebraic theory of componentised interaction
著者:: Chilton, C
出版事項: (2013)

Static analyses over weak memory
著者:: Nimal, V, 等
出版事項: (2014)

Probabilistic guarded commands mechanized in HOL
著者:: Hurd, J, 等
出版事項: (2005)

Particularities of Verification Processes for Distributed Informatics Applications
著者:: Ion IVAN, 等
出版事項: (2013-01-01)

Intersection types and higer-order model checking
著者:: Ramsay, S, 等
出版事項: (2014)

Precise verification of C programs
著者:: Lewis, M
出版事項: (2014)

Automated quantitative software verification
著者:: Kattenbelt, M
出版事項: (2010)

Forward looking logics and automata
著者:: Ley, C
出版事項: (2011)

Incremental modelling for verified communication architectures
著者:: Boehm, P, 等
出版事項: (2011)

Predicate Abstraction of ANSI-C Programs Using SAT
著者:: Clarke, E, 等
出版事項: (2004)

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
著者:: Adams, S
出版事項: (2014)

MODELS AND METHODS OF THE THEORY OF BUSINESS PROCESSES (REVIEW)
著者:: Georgiy N. Kalyanov
出版事項: (2016-05-01)

THE THEORY OF BUSINESS PROCESSES: FORMAL MODELS AND METHODS
著者:: Georgiy N. Kalyanov
出版事項: (2016-08-01)

Program synthesis from domain specific object models
著者:: Faitelson, D
出版事項: (2008)

A framework of trust in service workflows
著者:: Viriyasitavat, W
出版事項: (2013)

Quantitative verification of real-time properties with application to medical devices
著者:: Marco Diciolla, M, 等
出版事項: (2014)

INVESTIGATION AND ANALYSIS OF AUTOMATIC TESTING SYSTEMS OF APPLICATIONS
著者:: A. Antonova, 等
出版事項: (2016-12-01)

Functions with local state: regularity and undecidability
著者:: Murawski, A
出版事項: (2005)

Game semantics based equivalence checking of higher-order programs
著者:: Hopkins, D, 等
出版事項: (2012)

On learning assumptions for compositional verification of probabilistic systems
著者:: Feng, L
出版事項: (2014)

THE PRESENT STATE OF THE INFORMATION-MEASURING SYSTEMS FOR CHECKING HIGH VOLTAGE CONVERTERS
著者:: A.S. Ilin, 等
出版事項: (2022-12-01)

Fast Designing Ladder Diagram of Programmable Logic Controller for a Technological Process
著者:: Adam Szcześniak, 等
出版事項: (2022-12-01)

Introduction to adoption of lean canvas in software test architecture design
著者:: Padmaraj Nidagundi, 等
出版事項: (2017-01-01)

Concurrency specification using Event-based Specification Chart
著者:: Dumitru Ciorba, 等
出版事項: (2012-02-01)

Partial correctness for probabilistic demonic programs
著者:: McIver, A, 等
出版事項: (2001)

Repairing strings and trees
著者:: Riveros Jaeger, C
出版事項: (2013)

An interpolating decision procedure for transitive relations with uninterpreted functions
著者:: Kroening, D, 等
出版事項: (2009)

THE CURRENT AND FUTURE ENERGY ECONOMICS OF CONCENTRATING SOLAR POWER (CSP) IN SOUTH AFRICA
著者:: O O Craig, 等
出版事項: (2017-11-01)

Optimization of the Design and Operation of Hybrid CSP-PV-Wind Plants
著者:: Lorenzo Pilotti, 等
出版事項: (2024-09-01)