Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 /
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
[1985]
|
| Series: | Lecture notes in computer science ;
197. |
| Subjects: |
Similar Items
Concurrency : theory, language, and architecture : UK/Japan Workshop on Concurrency, Oxford, UK, September 25-27, 1989 : proceedings /
Published: (1991)
Published: (1991)
Concurrent computations : algorithms, architecture, and technology /
Published: (1988)
Published: (1988)
Concurrency theory : CONCUR '93 : 4th International Confernece on Concurrency Theory, Hildesheim, Germany, August 993 : proceedings /
Published: (1993)
Published: (1993)
Concurrency and computation.
Published: (2001)
Published: (2001)
Current trends in concurrency : overviews and tutorials /
Published: (1986)
Published: (1986)
Specification and verification of concurrent systems /
Published: (1990)
Published: (1990)
Concurrency 88, International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988 : proceedings /
Published: (1988)
Published: (1988)
Concurrent systems : formal development in CSP /
by: Hinchey, Michael G. (Michael Gerard), 1969-
Published: (1995)
by: Hinchey, Michael G. (Michael Gerard), 1969-
Published: (1995)
The Analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings /
Published: (1985)
Published: (1985)
Principles of concurrent programming /
by: Ben-Ari, M., 1948-
Published: (1982)
by: Ben-Ari, M., 1948-
Published: (1982)
Concurrent scientific computing /
by: Van de Velde, Eric F.
Published: (1994)
by: Van de Velde, Eric F.
Published: (1994)
The theory and practice of concurrency /
by: Roscoe, A. W.
Published: (1998)
by: Roscoe, A. W.
Published: (1998)
A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings /
Published: (1994)
Published: (1994)
Specification and analysis of concurrent systems : the COSY approach /
by: Janicki, Ryszard
Published: (1992)
by: Janicki, Ryszard
Published: (1992)
CONCUR '94, concurrency theory : 5th International Conference, Uppsala, Sweden, August 22-25, 1994 : proceedings /
Published: (1994)
Published: (1994)
CONCUR 2002-concurrency theory : 13th International Conference, Brno, Czech Republic, August 20-23, 2002 : proceedings /
Published: (2002)
Published: (2002)
CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings /
Published: (2007)
Published: (2007)
CONCUR 2006 - concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 : proceedings /
Published: (2006)
Published: (2006)
Architectures, languages and techniques for concurrent systems : WoTUG-22, proceedings of the 22nd World Occam and Transputer User Group Technical Meeting, 11-14 April 1999, Keele, United Kingdom /
Published: (1999)
Published: (1999)
Concurrent programming for software engineers /
by: Whiddett, R. J. (Richard John), 1951-
Published: (1987)
by: Whiddett, R. J. (Richard John), 1951-
Published: (1987)
Concurrency, practice and experience.
Published: (2000)
Published: (2000)
Concurrency and programming languages /
by: Harland, David M. (David Michael), 1955-
Published: (1986)
by: Harland, David M. (David Michael), 1955-
Published: (1986)
Solving problems on concurrent processors /
by: Fox, Geoffrey C.
Published: (1988)
by: Fox, Geoffrey C.
Published: (1988)
Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979 /
Published: (1979)
Published: (1979)
Principles of concurrent and distributed programming /
by: Ben-Ari, M., 1948-
Published: (1990)
by: Ben-Ari, M., 1948-
Published: (1990)
Principles of concurrent and distributed programming /
by: Ben-Ari, M., 1948-
Published: (2006)
by: Ben-Ari, M., 1948-
Published: (2006)
Introduction to concurrency in programming languages /
by: Sottile, Matthew J.
Published: (2010)
by: Sottile, Matthew J.
Published: (2010)
Concurrency verification : introduction to compositional and noncompositional methods /
Published: (2001)
Published: (2001)
Concurrency : theory, language, and architecture : UK/Japan workshop, Oxford, UK, September 25-27, 1989 : proceedings /
Published: (1991)
Published: (1991)
Database concurrency control : methods, performance, and analysis /
by: Thomasian, Alexander, 1945-
Published: (1996)
by: Thomasian, Alexander, 1945-
Published: (1996)
CONCUR 2005 -- concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings /
Published: (2005)
Published: (2005)
Concurrent languages in distributed systems hardware supported implementation : proceedings of the IFIP WG 10.3 Workshop on Hardware Supported Implementation on Concurrent Languages in Distributed Systems, Bristol, U.K., 26-28 March 1984 /
Published: (1985)
Published: (1985)
Concurrent programming in Ada /
by: Burns, Alan, 1953-
Published: (1985)
by: Burns, Alan, 1953-
Published: (1985)
CONCUR'98 : concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings /
Published: (1998)
Published: (1998)
Concurrency control and recovery in database systems /
by: Bernstein, Philip A.
Published: (1987)
by: Bernstein, Philip A.
Published: (1987)
Seminar on Concurrency : Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 /
by: Brookes, S. D. (Stephen D.)
Published: (1985)
by: Brookes, S. D. (Stephen D.)
Published: (1985)
Specification and verification of concurrent systems /
Published: (1990)
Published: (1990)
Structures in concurrency theory : proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995 /
Published: (1995)
Published: (1995)
Concurrent and real-time systems : the CSP approach /
by: Schneider, Steve
Published: (2000)
by: Schneider, Steve
Published: (2000)
Concurrency in dependable computing /
Published: (2002)
Published: (2002)