1788 search results - page 24 / 358 » Model Theory for Process Algebra |
104
Voted
FUIN
2006
15 years 15 days ago
2006
In a previous paper, we developed an algebraic theory about threads and multi-threading based on the assumption that a deterministic interleaving strategy determines how threads ar...
125
click to vote
CUZA
2002
15 years 9 days ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
133
Voted
CL
2007
Springer
15 years 15 days ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
86
Voted
ENTCS
2008
15 years 17 days ago
2008
In process algebras like CRL and ACP communication is defined globally. In the context of component-based architectures one wishes to define subcomponents of a system separately, ...
72
Voted
MSCS
2008
15 years 13 days ago
2008
We model micro-architectures with non-pipelined instruction processing and pipelined instruction processing, using Maurer machines, basic thread algebra and program algebra. We sho...