Loading...

QR Code

Topology in Process Calculus : Approximate correctness and infinite evolution of concurrent programs/

Bibliographic Details
Main Author:	Ying, Min Sheng
Format:	Printed Book
Language:	English
Published:	Springer, 2001.

Similar Items

On concurrent programming
by: Fred B Schneider
Published: (1997)

Concurrent Programming
by: Narain Gehani,Andrew D McGettrick
Published: (1988)

Directed algebraic topology and concurrency.
by: Fajstrup, Lisbeth, et al.
Published: (2016)

Approximately calculus /
by: Shahriari, Shahriar
Published: (2006)

Approximately Calculus
by: Shahriari, Shahriar
Published: (2006)

Approximately calculus /
by: Shahriari, Shahriar
Published: (2006)

Approximately calculus
by: Shahriari, Shahriar
Published: (2012)

Approximately calculus
by: Shahriari, Shahriar
Published: (2013)

ADA Concurrent Programming
by: Narain Gehani
Published: (1984)

Concurrency and Programming Languages
by: David M.Harland
Published: (1986)

Concurrent program structures/
by: Bustard, David
Published: (1988)

Concurrent program structures /
by: Bustard, David .
Published: (1988)

Principles of concurrent programming /
by: Ben-Ari, M .
Published: (1982)

Principles Of Concurrent Programming
by: Ben Ari, M
Published: (1982)

Concurrent Program Structures
by: Bustard, David
Published: (1988)

Introduction to concurrency in programming languages /
by: Sottile, Matthew J.et.al
Published: (2010)

Introduction to Concurrency in Programming languages/
by: Sottile, Matthew
Published: (2010)

Introduction to concurrency in programming languages
by: Sottile, Matthew J
Published: (2010)

Verification of sequential and concurrent programs
by: Krzysztof r apt,Ernst -Rudiger olderog
Published: (1997)

Verification of sequential and concurrent programs /
by: Gries, David .
Published: (1991)

Concurrent Programming: Principles And Practice
by: Andrews, Gregory R
Published: (1991)

Verification Of Sequential And Concurrent Programs
by: Apt, Krzysztof R
Published: (1991)

Probably approximately correct : nature's algorithms for learning and prospering in a complex world /
by: Valiant, Leslie
Published: (2013)

Symposium on infinite dimensional topology
by: Anderson, R.D
Published: (1972)

Symposium on infinite dimensional topology
Published: (1972)

Symposium on infinite dimensional topology
Published: (1972)

The art of concurrency /
by: Breshears, Clay
Published: (2010)

Concurrent programming in java: design principles and patterns.-2nd Ed./
by: Lea, Doug
Published: (2000)

A PROGRAMED COURSE IN CALCULUS: INFINITE SEQUENCES AND SERIES
by: ALEXANDER HOEARD & BOTTS TRUMAN
Published: (1968)

Concurrency: state models & java programs /
by: Magee, Jeff .
Published: (1999)

Normal Approximations with Malliavin Calculus
by: Ivan Nourdin
Published: (2012)

Concurrent and real-time programming in Java
by: Wellings, Andy; Author
Published: (2004)

Infinite processes: background to analysis /
by: Gardiner, A.
Published: (1982)

The infinite-dimensional topology of function spaces /
by: Mill, J. van
Published: (2001)

Infinite dimensional topology of function spaces/
by: Mill, J Van
Published: (2002)

Concise calculus /
by: Gong, Sheng
Published: (2017)

Concise calculus
by: Gong, Sheng
Published: (2017)

The theory and practice of concurrency /
by: Roscoe, A. W.
Published: (1998)

Concurrent PC DOS /
by: Balma, Phil
Published: (1986)

CAD of concurrent computeres
by: Foulk,Patrick.W