Partial correctness of communicating processes and protocols

Partial correctness of communicating processes and protocols

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhou, Chaochen 1937- (VerfasserIn), Hoare, Charles A. R. 1934- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Oxford Oxford Univ. Computing Laboratory 1981
Schriftenreihe:	Technical monograph PRG 20
Schlagworte:	Circuits Operating systems (Computers) Parallel processing (Electronic computers) Semantik CSP Programmierung Kommunikationsprotokoll
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Partial correctness of communicating processes and protocols
von: Chen, Zhou C., et al.
Veröffentlicht: (1981)

A theory of communicating sequential processes
von: Hoare, Charles A. R. 1934-, et al.
Veröffentlicht: (1981)

Specification and design of concurrent systems
von: Mett, Percy, et al.
Veröffentlicht: (1994)

A guide to communicating sequential processes
von: Kuo, Shan S., et al.
Veröffentlicht: (1978)

Communicating sequential processes the first 25 years ; Symposium on the Occasion of 25 Years of CSP, London, UK, July 6 - 7, 2004 ; revised invited papers
Veröffentlicht: (2005)

Communicating sequential processes the first 25 years ; Symposium on the Occasion of 25 Years of CSP, London, UK, July 6 - 7, 2004 ; revised invited papers
Veröffentlicht: (2005)

Untersuchung zweier denotationaler Semantikdefinitionen von CSP
von: Zetzsche, Frank
Veröffentlicht: (1987)

Communicating sequential processes
von: Hoare, Charles A.
Veröffentlicht: (1993)

Concurrent systems formal development in CSP
von: Hinchey, Michael G., et al.
Veröffentlicht: (1995)

Communicating sequential processes
von: Hoare, Charles A. R. 1934-
Veröffentlicht: (1985)

Protocols by invariants
von: Schoone, Anneke A.
Veröffentlicht: (1996)

Flexibility and adjustment to information in sequential decision problems a systematic approach
von: Schmutzler, Armin 1962-
Veröffentlicht: (1991)

Operating systems for microcomputers
von: Lane, J. E.
Veröffentlicht: (1981)

Protocol management in computer networking
von: Byrnes, Philippe
Veröffentlicht: (2000)

High performance protocol architectures
Veröffentlicht: (1999)

Protocol data dependencies with an application in conformance test generation = Protocol data afhankelijkheden
von: Kwast, Erik
Veröffentlicht: (1997)

Protocols for application communication a top-down guide to OSI, TCP/IP and SNA
von: Bearpark, Keith
Veröffentlicht: (1995)

Protocol animation
Veröffentlicht: (2002)

A theory of distributed objects asynchrony - mobility - groups - components ; with 48 tables
Veröffentlicht: (2005)

SIGCOMM '88 Symposium Communications Architectures & Protocols Stanford, Calif., August 16-19, 1988
Veröffentlicht: (1988)

Protocol specification, testing and verification XIV
Veröffentlicht: (1995)

Declarative networking
von: Loo, Boon Thau, et al.
Veröffentlicht: (2012)

Data link protocols
von: Black, Uyless D. 1939-
Veröffentlicht: (1993)

Protocols for high-efficiency wireless networks
von: Andreadis, Alessandro 1965-
Veröffentlicht: (2003)

On the coexistence of different CSMA protocols on the same network
von: Guardalben, G. V.
Veröffentlicht: (1986)

Parallel processing with communicating process architecture
von: East, Ian
Veröffentlicht: (1995)

Proceedings of the IFIP WG 6.1. Eleventh International Symposium on Protocol Specification, Testing, and Verification Stockholm, Sweden, 18 - 20 June, 1991
Veröffentlicht: (1991)

Proceedings of the IFIP WG 6.1. Tenth International Symposium on Protocol Specification, Testing, and Verification Ottawa, Ontario, Canada, 12 - 15 June, 1990
Veröffentlicht: (1990)

Uniform sequences of branching programs
von: Stewart, Iain A.
Veröffentlicht: (1991)

Practical programming for non-computer professionals
von: Gordon, Alan M.
Veröffentlicht: (1984)

Introduction to the second POSIE report
Veröffentlicht: (1990)

Protocols for High-Efficiency Wireless Networks
von: Andreadis, Alessandro, et al.
Veröffentlicht: (2002)

Concurrent programming for software engineers
von: Whiddett, Richard J.
Veröffentlicht: (1987)

Telecommunications protocols
von: Russell, Travis
Veröffentlicht: (2000)

Design and validation of computer protocols
von: Holzmann, Gerard J.
Veröffentlicht: (1991)

The Austin protocol compiler
von: McGuire, Tommy M., et al.
Veröffentlicht: (2005)

Concurrent programming
Veröffentlicht: (1988)

The modelling and analysis of security protocols the CSP approach
Veröffentlicht: (2001)

Evaluating software tools for systems analysis and design
von: Heap, Gary
Veröffentlicht: (1988)

Models of parallelism
von: Heywood, Todd, et al.
Veröffentlicht: (1993)