MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Denotational Semantics of CSP." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

CSP-CASL-Prover — Tool integration and algorithms for automated proof generation
by Yoshinao Isobe, Markus Roggenbach
… semantics to full Csp by reusing the implementation of various denotational Csp semantics in Csp-Prover. Our…
Add To MetaCart

Verification of the Futurebus+ Cache Coherence protocol: A case
by Study In Model, Kylie Williams, Robert Esser
… that extend the notion of equivalence provided by the denotational semantics. In CSP a trace is a sequence…
Add To MetaCart

The Design and Construction of Deadlock-Free Concurrent Systems
by Jeremy Malcolm, Randolph Martin, Jeremy Martin — 1996
… : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 12 1.3 Denotational Semantics for CSP I : : : : : : : : : : : : : : : : : : : 17 1.4 Denotational…
Add To MetaCart

Combination and Implementation of Processes and Data: from CSP-OZ to Java
by Clemens Fischer, Fachbereich Informatik, Des Fachbereichs Informatik — 2000
… 5 Analysing CSP-OZ 169 5.1 A Denotational Semantics for CSP…
Cited by 37 (4 self) – Add To MetaCart

Communicating Sequential Processes
by Hoare's Communicating Sequential
… described the denotational semantics of CSP. Communication in CSP is synchronous. Both parties…
Add To MetaCart

On the Refinement of State-Based and Event-Based Models
by Christie Bolton
… . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.2 Denotational semantics for CSP . . . . . . . . . . . . . . . . . . . . . . . . 12 2…
Cited by 1 (0 self) – Add To MetaCart

Static Livelock Analysis in Process Algebra
by Joel Ouaknine, James Worrell
…. We write CSP to denote the collection of closed terms of the language thus generated. (A term…
Add To MetaCart

Investigating a File Transfer Protocol Using CSP and B
by Neil Evans, Helen Treharne — 2003
… corresponding semantics to B machines. The three most frequently used denotational semantics for CSP…
Cited by 1 (1 self) – Add To MetaCart

Towards a Design Calculus for CSP
by Rudolf Berghammer, Burghard Von Karger — 1995 — Science of Computer Programming
… successful in the realm of functional programming. The denotational semantics of CSP [3,22] and occam [11…
Cited by 5 (3 self) – Add To MetaCart

Generating MSCs from an Integrated Formal
by Specification Language Jin, Jin Song Dong, Shengchao Qin, Jun Sun — In Boiten et al
…. The definition of the function H is based on the denotational semantics of CSP [14,24]. Stop means deadlock…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB