238 search results - page 44 / 48 » Compositional Proof Methods for Concurrency: A Semantic Appr... |
136
click to vote
SMALLTALK
2007
Springer
15 years 5 months ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
DATE
2009
IEEE
15 years 5 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
EMSOFT
2004
Springer
15 years 4 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
107
click to vote
MEMOCODE
2003
IEEE
15 years 4 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
BMCBI
2007
14 years 11 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...