Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings /
| Corporate Authors: | Ecole de printemps d'informatique théorique La Roche-Posay, France, Laboratoire informatique théorique et programmation (France), Institut pour la recherche en informatique de Toulouse |
|---|---|
| Other Authors: | Guessarian, Irène, 1948- |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
[1990]
|
| Series: | Lecture notes in computer science ;
469. |
| Subjects: |
Similar Items
Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings /
Published: (1990)
Published: (1990)
Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979 /
Published: (1979)
Published: (1979)
Semantics for concurrency : proceedings of the International BCS-FACS Workshop /
Published: (1990)
Published: (1990)
Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979 /
Published: (1979)
Published: (1979)
Action refinement in process algebras /
by: Aceto, Luca
Published: (1992)
by: Aceto, Luca
Published: (1992)
Semantics of parallelism : non-interleaving representation of behaviour /
by: Shields, M. W. (Michael William), 1950-
Published: (1997)
by: Shields, M. W. (Michael William), 1950-
Published: (1997)
Concurrency and computation.
Published: (2001)
Published: (2001)
Concurrent scientific computing /
by: Van de Velde, Eric F.
Published: (1994)
by: Van de Velde, Eric F.
Published: (1994)
Concurrent programming for software engineers /
by: Whiddett, R. J. (Richard John), 1951-
Published: (1987)
by: Whiddett, R. J. (Richard John), 1951-
Published: (1987)
Concurrency : theory, language, and architecture : UK/Japan Workshop on Concurrency, Oxford, UK, September 25-27, 1989 : proceedings /
Published: (1991)
Published: (1991)
Fairness /
by: Francez, Nissim
Published: (1986)
by: Francez, Nissim
Published: (1986)
Concurrent computations : algorithms, architecture, and technology /
Published: (1988)
Published: (1988)
Concurrency and programming languages /
by: Harland, David M. (David Michael), 1955-
Published: (1986)
by: Harland, David M. (David Michael), 1955-
Published: (1986)
Concurrent systems : formal development in CSP /
by: Hinchey, Michael G. (Michael Gerard), 1969-
Published: (1995)
by: Hinchey, Michael G. (Michael Gerard), 1969-
Published: (1995)
Principles of concurrent programming /
by: Ben-Ari, M., 1948-
Published: (1982)
by: Ben-Ari, M., 1948-
Published: (1982)
The theory and practice of concurrency /
by: Roscoe, A. W.
Published: (1998)
by: Roscoe, A. W.
Published: (1998)
Introduction to concurrency in programming languages /
by: Sottile, Matthew J.
Published: (2010)
by: Sottile, Matthew J.
Published: (2010)
Specification and analysis of concurrent systems : the COSY approach /
by: Janicki, Ryszard
Published: (1992)
by: Janicki, Ryszard
Published: (1992)
Journal on data semantics I /
Published: (2003)
Published: (2003)
Concurrency theory : CONCUR '93 : 4th International Confernece on Concurrency Theory, Hildesheim, Germany, August 993 : proceedings /
Published: (1993)
Published: (1993)
Current trends in concurrency : overviews and tutorials /
Published: (1986)
Published: (1986)
CAD of concurrent computers /
by: Foulk, Patrick W., 1945-
Published: (1985)
by: Foulk, Patrick W., 1945-
Published: (1985)
Mathematical models for the semantics of parallelism : advanced school, Rome, Italy, September 24-October 1, 1986 : proceedings /
Published: (1987)
Published: (1987)
Concurrency : theory, language, and architecture : UK/Japan workshop, Oxford, UK, September 25-27, 1989 : proceedings /
Published: (1991)
Published: (1991)
Action semantics /
by: Mosses, Peter D.
Published: (1992)
by: Mosses, Peter D.
Published: (1992)
Concurrency, practice and experience.
Published: (2000)
Published: (2000)
Concurrency verification : introduction to compositional and noncompositional methods /
Published: (2001)
Published: (2001)
Specification and verification of concurrent systems /
Published: (1990)
Published: (1990)
Solving problems on concurrent processors /
by: Fox, Geoffrey C.
Published: (1988)
by: Fox, Geoffrey C.
Published: (1988)
Concurrency in dependable computing /
Published: (2002)
Published: (2002)
A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings /
Published: (1994)
Published: (1994)
Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 /
Published: (1985)
Published: (1985)
Concurrency 88, International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988 : proceedings /
Published: (1988)
Published: (1988)
CONCUR 2002-concurrency theory : 13th International Conference, Brno, Czech Republic, August 20-23, 2002 : proceedings /
Published: (2002)
Published: (2002)
The Analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings /
Published: (1985)
Published: (1985)
CONCUR 2006 - concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 : proceedings /
Published: (2006)
Published: (2006)
Concurrent learning and information processing : a neuro-computing system that learns during monitoring, forecasting, and control /
by: Jannarone, Robert J.
Published: (1997)
by: Jannarone, Robert J.
Published: (1997)
The semantics of programming languages : an elementary introduction using structural operational semantics /
by: Hennessy, Matthew
Published: (1990)
by: Hennessy, Matthew
Published: (1990)
Semantics of programming languages /
by: Tennent, R. D., 1944-
Published: (1991)
by: Tennent, R. D., 1944-
Published: (1991)
Synonymy and semantic classification /
by: Sparck Jones, Karen, 1935-2007
Published: (1986)
by: Sparck Jones, Karen, 1935-2007
Published: (1986)