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...
Asıl Yazarlar: | Whitehead, J, James Norman Whitehead |
---|---|
Diğer Yazarlar: | Spivey, M |
Materyal Türü: | Tez |
Dil: | English |
Baskı/Yayın Bilgisi: |
2014
|
Konular: |
Benzer Materyaller
-
A hierarchy of failures-based models: theory and application
Yazar:: Bolton, C, ve diğerleri
Baskı/Yayın Bilgisi: (2005) -
Model Checking Systems with Replicated Components using CSP
Yazar:: Mazur, T
Baskı/Yayın Bilgisi: (2011) -
Formalisations and applications of business process modelling notation
Yazar:: Wong, P
Baskı/Yayın Bilgisi: (2011) -
The formal semantics of a domain-specific modelling language
Yazar:: Grealish, C
Baskı/Yayın Bilgisi: (2010) -
Techniques and tools for the verification of concurrent systems
Yazar:: Palikareva, H
Baskı/Yayın Bilgisi: (2012)