Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642085840, 9783662042939

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Protocol Verifications

Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-04293-9_6 ◽

2000 ◽

pp. 69-95

Author(s):

Wan Fokkink

Structural Operational Semantics

Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-04293-9_9 ◽

2000 ◽

pp. 119-136

Author(s):

Wan Fokkink

Keyword(s):

Operational Semantics ◽

Structural Operational Semantics

Equational Logic

Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-04293-9_8 ◽

2000 ◽

pp. 109-117

Author(s):

Wan Fokkink

Keyword(s):

Equational Logic

Abstraction

Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-04293-9_5 ◽

2000 ◽

pp. 47-68

Author(s):

Wan Fokkink

Recursion

Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-04293-9_4 ◽

2000 ◽

pp. 31-46

Author(s):

Wan Fokkink

Algebra of Communicating Processes

Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-04293-9_3 ◽

2000 ◽

pp. 17-30

Author(s):

Wan Fokkink

Keyword(s):

Communicating Processes ◽

Algebra Of Communicating Processes

Introduction

Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-04293-9_1 ◽

2000 ◽

pp. 1-5

Author(s):

Wan Fokkink

Extensions

Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-04293-9_7 ◽

2000 ◽

pp. 97-108

Author(s):

Wan Fokkink

Basic Process Algebra

Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-04293-9_2 ◽

2000 ◽

pp. 7-16 ◽

Cited By ~ 1

Author(s):

Wan Fokkink

Keyword(s):

Process Algebra ◽

Basic Process