Cover may not depict edition offered for sale
available COPIES
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
by
Mingsheng Ying
About this title: 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 concurrency. Various behavior equivalences between agents, such as (strong and weak) bisimilarity, observation congruence, trace equivalence, testing equivalence and failure equivalence, are central notions in process calculus. In the real applications of process calculus, specification and implementation ...
read more
Note: This is a general synopsis. Each listing is described below.
Your search: Books » Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
(26 available copies)
Page 1 of 2
Topology in Process Calculus
by
Ying, Mingsheng
Ships from
TX,
USA
ISBN-13: 9780387950921
ISBN: 0387950923
Description: New in new dust jacket. New Books Only. US Edition. read more
condition:
Book:
Available qty:
6
seller information:
Name:
Smart Book Solutions ,
TX,
USA
Reliability:
Topology in Process Calculus
by
Mingsheng Ying
Ships from
NY,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 2001
ISBN-13: 9780387950921
ISBN: 0387950923
Description: New. read more
condition:
Book:
seller information:
Name:
barone books ,
NY,
USA
Reliability:
Topology in Process Calculus
by
Mingsheng Ying
Ships from
MD,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 2001-03-30
ISBN-13: 9780387950921
ISBN: 0387950923
Description: Very Good. Hardcover. New and unmarked. No dust jacket (as issued). Upper back corner dinged. read more
condition:
Book:
seller information:
Name:
Sean_at_Reiters ,
MD,
USA
Reliability:
Topology in Process Calculus
by
Mingsheng Ying
Ships from
PA,
USA
Binding: Hardcover
ISBN-13: 9780387950921
ISBN: 0387950923
Description: New. Perfect and New! 1st Edition. 2001 Hardcover. read more
condition:
Book:
seller information:
Name:
Armadillo Books ,
PA,
USA
Reliability:
Topology in Process Calculus
by
Mingsheng Ying
Ships from
MD,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 2001-03-30
ISBN-13: 9780387950921
ISBN: 0387950923
Description: New. Hardcover. New and unmarked. No dust jacket (as issued). Corners are sharp. read more
condition:
Book:
seller information:
Name:
Sean_at_Reiters ,
MD,
USA
Reliability:
Topology in Process Calculus
by
Ying, Mingsheng
Ships from
TX,
USA
Binding: Hardcover
Publisher: Springer
ISBN-13: 9780387950921
ISBN: 0387950923
Description: New. 0387950923 Brand New US Edition. No P.O. Box please. read more
condition:
Book:
Available qty:
3
seller information:
Name:
TextBookMart ,
TX,
USA
Reliability:
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
by
Ying, Mingsheng
Ships from
NV,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 2001
ISBN-13: 9780387950921
ISBN: 0387950923
Description: New. Sewn binding. Cloth over boards. 232 p. read more
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
by
Ying, Mingsheng
Ships from
OR,
USA
Binding: H HARDCOVER
Publisher: Springer-Verlag
ISBN-13: 9780387950921
ISBN: 0387950923
Description: Very good No dustjacket. read more
condition:
Book:
seller information:
Name:
Powell's Books ,
OR,
USA
Reliability:
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
by
Ying, Mingsheng
Ships from
OR,
USA
Binding: H HARDCOVER
Publisher: Springer-Verlag
ISBN-13: 9780387950921
ISBN: 0387950923
Description: New May have small mark or shelf wear. read more
condition:
Book:
seller information:
Name:
Powell's Books ,
OR,
USA
Reliability:
Topology in Process Calculus
by
Ying, Mingsheng
Ships from
TX,
USA
Publisher: Springer
ISBN-13: 9780387950921
ISBN: 0387950923
Description: New. 0387950923 Prompt customer service, FedEx tracking no. Packages deliver in 4-6 business days. traceable from next day. read more
condition:
Book:
Available qty:
>10
seller information:
Name:
Bookland ,
TX,
USA
Reliability:
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
by
Ying Mingsheng
Ships from
NY,
USA
Publisher: SPRINGER
ISBN-13: 9780387950921
ISBN: 0387950923
Description: New in new dust jacket. New. US edition. Great savings. Excellent Customer service. All query reply within 24 Hour. read more
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
by
Ying, Mingsheng
Ships from
OR,
USA
Binding: H HARDCOVER
Publisher: Springer-Verlag
ISBN-13: 9780387950921
ISBN: 0387950923
Description: Very good No dustjacket. read more
condition:
Book:
seller information:
Name:
Powell's Books ,
OR,
USA
Reliability:
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
by
Ying, Mingsheng
Ships from
NJ,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 2001
ISBN-13: 9780387950921
ISBN: 0387950923
Description: New. Sewn binding. Cloth over boards. 232 p. read more
condition:
Book:
Available qty:
>10
seller information:
Name:
Shams ,
NJ,
USA
Reliability:
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
by
Ying Mingsheng
Ships from
INDIA
Publisher: SPRINGER
Date Published: 2001
ISBN-13: 9780387950921
ISBN: 0387950923
Description: Brand New. Brand New original book. read more
condition:
Book:
Available qty:
>10
seller information:
Name:
booksNbooks ,
INDIA
Reliability:
Topology in Process Calculus
by
Ying, Mingsheng
Ships from
NJ,
USA
Binding: Hardcover
Publisher: Springer
ISBN-13: 9780387950921
ISBN: 0387950923
Description: New. 0387950923. read more
condition:
Book:
seller information:
Name:
BookXpressNJ ,
NJ,
USA
Reliability:
Topology in Process Calculus: Approximate Correctn
by
Ying, Mingsheng And Ying, M.
Ships from
IL,
USA
Binding: Hardback
Publisher: KLUWER ACADEMIC PUBL
Date Published: 2001
ISBN-13: 9780387950921
ISBN: 0387950923
Description: New. Process calculi are among the most successful models of concurrent systems. Various behavior equivalences between processes are central notions in CCS (calculus of communicating systems) and other process calculi. In the real applications, specificat... read more
condition:
Book:
Available qty:
>10
seller information:
Name:
Paperbackshop ,
IL,
USA
Reliability:
Topology in Process Calculus
by
Ying, Mingsheng,
Ships from
VIC,
AUSTRALIA
Edition: 1st
Binding: Hardcover
Publisher: Springer-verlag
Date Published: 2001
ISBN-13: 9780387950921
ISBN: 0387950923
Description: New in New jacket. read more
condition:
Book:
seller information:
Name:
Knowledgetreebooks ,
VIC,
AUSTRALIA
Reliability:
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
by
Ying, Mingsheng
Ships from
NJ,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 2001
ISBN-13: 9780387950921
ISBN: 0387950923
Description: Very Good. Satisfaction Guranteed: Unused Very good condition. Sewn binding. Cloth over boards. 232 p. read more
condition:
Book:
seller information:
Name:
NJ BOOKS STORE ,
NJ,
USA
Reliability:
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
by
Mingsheng Ying
Ships from
NJ,
USA
ISBN-13: 9780387950921
ISBN: 0387950923
Description: Like New. NO EXPEDITED SHIPPING! May have remainder marks. read more
condition:
Book:
seller information:
Name:
A1Books ,
NJ,
USA
Reliability:
Topology in Process Calculus
by
Mingsheng Ying
Ships from
NJ,
USA
Binding: Hardcover
ISBN-13: 9780387950921
ISBN: 0387950923
Description: New. Brand new book. read more
condition:
Book:
Available qty:
>10
seller information:
Name:
A1Books ,
NJ,
USA
Reliability:
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
by
Mingsheng Ying
Ships from
MERSEYSIDE,
UNITED KINGDOM
ISBN-13: 9780387950921
ISBN: 0387950923
Description: BRAND NEW FROM THE SAINT BOOKSTORE. read more
condition:
Book:
Available qty:
>10
seller information:
Name:
The Saint Bookstore ,
MERSEYSIDE,
UNITED KINGDOM
Reliability:
Topology in Process Calculus
by
Ying, Mingsheng
Ships from
NH,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 30/03/2001
ISBN-13: 9780387950921
ISBN: 0387950923
Description: Fine. Like New.. read more
condition:
Book:
seller information:
Name:
GRACEAMERICA ,
NH,
USA
Reliability:
Topology in Process Calculus
by
Ying, Mingsheng
Ships from
TX,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 3-30-01
ISBN-13: 9780387950921
ISBN: 0387950923
Description: Very good. No Highlights or Markup, No pages are missing. Binding Intact. Slight shelf wear.. read more
condition:
Book:
seller information:
Name:
VERIZON BOOKS ,
TX,
USA
Reliability:
Topology in Process Calculus
by
Ying, Mingsheng,
Ships from
INDIA
Edition: 1st
Binding: Hardcover
Publisher: Springer-verlag
Date Published: 2001
ISBN-13: 9780387950921
ISBN: 0387950923
Description: New in New jacket. read more
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
by
Ying, Mingsheng
Ships from
INDIA
Binding: Hardcover
Publisher: Springer
Date Published: 2001
ISBN-13: 9780387950921
ISBN: 0387950923
Description: Very Good. Satisfaction Guranteed: Unused Very good condition. Sewn binding. Cloth over boards. 232 p. read more
Be the first to write a review
& you could win a FREE gift!
Share this book
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.
