Cover Image

Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs /

Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and concurren...

Full description

Bibliographic Details
Main Author:	Ying, Mingsheng
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 2001.
Subjects:	Computer science. Software engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Advances in Software Engineering : Comprehension, Evaluation, and Evolution /
by: Erdogmus, Hakan
Published: (2002)

Semantics for Concurrency : Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK /
by: Kwiatkowska, Marta Zofia
Published: (1990)

The Renaissance of Legacy Systems : Method Support for Software-System Evolution /
by: Warren, Ian
Published: (1999)

Program Transformation and Programming Environments /
by: Pepper, Peter
Published: (1984)

Programming in the 1990s : an Introduction to the Calculation of Programs /
by: Cohen, Edward
Published: (1990)

The IOTA Programming System : a Modular Programming Environment /
by: Nakajima, R.
Published: (1983)

The Science of Programming /
by: Gries, David
Published: (1981)

Into the Realm of Oberon : An Introduction to Programming and the Oberon-2 Programming Language /
by: Nikitin, Eric W.
Published: (1997)

Programming with MotifTM /
by: Gregory, Keith D.
Published: (1992)

Programming for Software Sharing /
by: Muxworthy, D. T.
Published: (1983)

The World of Programming Languages /
by: Marcotty, Michael
Published: (1987)

The Ada® Generic Library : Linear List Processing Packages /
by: Musser, David R.
Published: (1989)

A Programming Approach to Computability /
by: Kfoury, A. J.
Published: (1982)

Introduction to Programming with Modula-2 /
by: Blaschek, Günther
Published: (1990)

JSP for Practical Program Design /
by: Dudman, K. E.
Published: (1996)

Object-Oriented Programming : with Prototypes /
by: Blaschek, Günther
Published: (1994)

Algorithmic Language and Program Development /
by: Bauer, Friedrich L.
Published: (1982)

Programming with Sets : an Introduction to SETL /
by: Schwartz, J. T.
Published: (1986)

ISO 9000-3 : A Tool for Software Product and Process Improvement /
by: Kehoe, Raymond
Published: (1996)

Object-Oriented Programming in Oberon-2 /
by: Mössenböck, Hanspeter
Published: (1995)

A Structured Programming Approach to Data /
by: Coleman, Derek
Published: (1979)

Object-Oriented Programming : in Oberon-2 /
by: Mössenböck, Hanspeter
Published: (1993)

Subrecursive Programming Systems : Complexity & Succinctness /
by: Royer, James S.
Published: (1994)

A Survey of Verification Techniques for Parallel Programs /
by: Barringer, Howard
Published: (1985)

Functional Programming, Glasgow 1992 : Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 /
by: Launchbury, John
Published: (1993)

Functional Programming, Glasgow 1994 : Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 /
by: Hammond, Kevin
Published: (1995)

Functional Programming, Glasgow 1990 : Proceedings of the 1990 Glasgow Workshop on Functional Programming 13-15 August 1990, Ullapool, Scotland /
by: Jones, Simon L. Peyton
Published: (1991)

Functional Programming, Glasgow 1991 : Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 /
by: Heldal, Rogardt
Published: (1992)

Formal Specification Techniques for Engineering Modular C Programs /
by: Tan, Yang Meng
Published: (1996)

Program Development by Refinement : Case Studies Using the B Method /
by: Sekerinski, Emil
Published: (1999)

PISA : A Programming System for Interactive Production of Application Software /
by: Marty, Rudolf
Published: (1981)

The Field Programming Environment: A Friendly Integrated Environment for Learning and Development /
by: Reiss, Steven P.
Published: (1995)

NAPAW 92 : Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 /
by: Purushothaman
Published: (1993)

Functional Programming : Proceedings of the 1989 Glasgow Workshop 21-23 August 1989, Fraserburgh, Scotland /
by: Davis, Kei
Published: (1990)

Systematic Reuse: Issues in Initiating and Improving a Reuse Program : Proceedings of the International Workshop on Systematic Reuse, Liverpool, 8-9 January 1996 /
by: Sarshar, Marjan
Published: (1996)

Proof in VDM: Case Studies /
by: Bicarregui, J. C.
Published: (1998)

Security and Persistence : Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8-11 May 1990, Bremen, West Germany /
by: Rosenberg, John
Published: (1990)

Aspects of Safety Management : Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001 /
by: Redmill, Felix
Published: (2001)

Modula-2 : An Introduction /
by: Thalmann, Daniel
Published: (1985)

Software Pioneers : Contributions to Software Engineering /
by: Broy, Manfred
Published: (2002)