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)
Fairness /
by: Francez, Nissim
Published: (1986)
by: Francez, Nissim
Published: (1986)
Concurrency and programming languages /
by: Harland, David M. (David Michael), 1955-
Published: (1986)
by: Harland, David M. (David Michael), 1955-
Published: (1986)
Introduction to concurrency in programming languages /
by: Sottile, Matthew J.
Published: (2010)
by: Sottile, Matthew J.
Published: (2010)
Journal on data semantics I /
Published: (2003)
Published: (2003)
Action semantics /
by: Mosses, Peter D.
Published: (1992)
by: Mosses, Peter D.
Published: (1992)
Synonymy and semantic classification /
by: Sparck Jones, Karen, 1935-2007
Published: (1986)
by: Sparck Jones, Karen, 1935-2007
Published: (1986)
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)
Semantics of sequential and parallel programs /
by: Best, Eike, 1951-
Published: (1996)
by: Best, Eike, 1951-
Published: (1996)
Mathematical models for the semantics of parallelism : advanced school, Rome, Italy, September 24-October 1, 1986 : proceedings /
Published: (1987)
Published: (1987)
Concurrency and computation.
Published: (2001)
Published: (2001)
Denotational semantics : the Scott-Strachey approach to programming language theory /
by: Stoy, Joseph
Published: (1977)
by: Stoy, Joseph
Published: (1977)
Concepts and semantics of programming languages. a semantical approach with OCaml and Python /
by: Hardin, Therese
Published: (2021)
by: Hardin, Therese
Published: (2021)
Semantics of programming languages : structures and techniques /
by: Gunter, Carl A.
Published: (1992)
by: Gunter, Carl A.
Published: (1992)
Journal on data semantics VIII /
Published: (2007)
Published: (2007)
Full abstraction and semantic equivalence /
by: Mulmuley, Ketan
Published: (1987)
by: Mulmuley, Ketan
Published: (1987)
The formal semantics of programming languages : an introduction /
by: Winskel, G. (Glynn)
Published: (1993)
by: Winskel, G. (Glynn)
Published: (1993)
Concurrent programming in Ada /
by: Burns, Alan, 1953-
Published: (1985)
by: Burns, Alan, 1953-
Published: (1985)
A theory of programming language semantics /
by: Milne, Robert, 1948-
Published: (1976)
by: Milne, Robert, 1948-
Published: (1976)
Concurrent scientific computing /
by: Van de Velde, Eric F.
Published: (1994)
by: Van de Velde, Eric F.
Published: (1994)
Parallel processing and the future data center : computing in the land of the Lilliputians /
by: Schutzer, Daniel, 1940-
Published: (1994)
by: Schutzer, Daniel, 1940-
Published: (1994)
Comparative metric semantics of programming languages : nondeterminism and recursion /
by: Breugel, Franck van, 1966-
Published: (1998)
by: Breugel, Franck van, 1966-
Published: (1998)
Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings /
Published: (1993)
Published: (1993)
Journal on data semantics IX /
Published: (2007)
Published: (2007)
Semantics of specification languages (SoSL) : proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993 /
Published: (1994)
Published: (1994)
Semantic techniques in quantum computation /
Published: (2010)
Published: (2010)
Algebraic approaches to program semantics /
by: Manes, Ernest G., 1943-
Published: (1986)
by: Manes, Ernest G., 1943-
Published: (1986)
Semantics and logics of computation /
Published: (1997)
Published: (1997)
Portability and performance for parallel processing /
Published: (1994)
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)
Parallel processing and parallel algorithms : theory and computation /
by: Roosta, Seyed H.
Published: (2000)
by: Roosta, Seyed H.
Published: (2000)
The formal semantics of programming languages : an introduction /
by: Winskel, G. (Glynn)
Published: (1993)
by: Winskel, G. (Glynn)
Published: (1993)
Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings /
Published: (1986)
Published: (1986)
Computational semantics with functional programming /
by: Eijck, J. van (Jan)
Published: (2010)
by: Eijck, J. van (Jan)
Published: (2010)