Introduction to Concurrency Theory - Texts in Theoretical Computer Science. An EATCS Series
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319214900, 9783319214917

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Additional Operators

Introduction to Concurrency Theory - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-319-21491-7_5 ◽

2015 ◽

pp. 205-257

Author(s):

Roberto Gorrieri ◽

Cristian Versari

Download Full-text

Algebraic Laws, Congruences and Axiomatizations

Introduction to Concurrency Theory - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-319-21491-7_4 ◽

2015 ◽

pp. 163-204

Author(s):

Roberto Gorrieri ◽

Cristian Versari

Keyword(s):

Algebraic Laws

Download Full-text

Transition Systems and Behavioral Equivalences

Introduction to Concurrency Theory - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-319-21491-7_2 ◽

2015 ◽

pp. 21-79 ◽

Cited By ~ 1

Author(s):

Roberto Gorrieri ◽

Cristian Versari

Keyword(s):

Transition Systems

Download Full-text

CCS: A Calculus of Communicating Systems

Introduction to Concurrency Theory - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-319-21491-7_3 ◽

2015 ◽

pp. 81-161 ◽

Cited By ~ 2

Author(s):

Roberto Gorrieri ◽

Cristian Versari

Download Full-text

Introduction

Introduction to Concurrency Theory - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-319-21491-7_1 ◽

2015 ◽

pp. 1-19

Author(s):

Roberto Gorrieri ◽

Cristian Versari

Download Full-text

Multi-CCS

Introduction to Concurrency Theory - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-319-21491-7_6 ◽

2015 ◽

pp. 259-321

Author(s):

Roberto Gorrieri ◽

Cristian Versari

Download Full-text

Introduction to Concurrency Theory - Texts in Theoretical Computer Science. An EATCS SeriesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Additional Operators

Algebraic Laws, Congruences and Axiomatizations

Transition Systems and Behavioral Equivalences

CCS: A Calculus of Communicating Systems

Introduction

Multi-CCS

Introduction to Concurrency Theory - Texts in Theoretical Computer Science. An EATCS Series
Latest Publications