The Analysis of Concurrent Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540160472, 9783540397311

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Two way channel with disconnect

The Analysis of Concurrent Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-16047-7_46 ◽

1985 ◽

pp. 184-198 ◽

Cited By ~ 1

Author(s):

J. Y. Cotronis ◽

P. E. Lauer

Download Full-text

Parallel combinator reduction machine

The Analysis of Concurrent Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-16047-7_41 ◽

1985 ◽

pp. 121-127

Author(s):

R. Milner

Keyword(s):

Reduction Machine

Download Full-text

The problem set

The Analysis of Concurrent Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-16047-7_37 ◽

1985 ◽

pp. 97-102

Download Full-text

Solutions to problem no. 2

The Analysis of Concurrent Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-16047-7_59 ◽

1985 ◽

pp. 365-383

Author(s):

Amir Pnueli

Download Full-text

Firing squad

The Analysis of Concurrent Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-16047-7_54 ◽

1985 ◽

pp. 314-317

Author(s):

R. Milner

Keyword(s):

Firing Squad

Download Full-text

Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch

The Analysis of Concurrent Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-16047-7_43 ◽

1985 ◽

pp. 132-133

Author(s):

C. A. R. Hoare

Keyword(s):

Concurrent Systems ◽

The Matrix

Download Full-text

Conclusions

The Analysis of Concurrent Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-16047-7_62 ◽

1985 ◽

pp. 392-396

Download Full-text

Introduction

The Analysis of Concurrent Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-16047-7_32 ◽

1985 ◽

pp. 1-4

Download Full-text

A temporal analysis of some concurrent systems

The Analysis of Concurrent Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-16047-7_58 ◽

1985 ◽

pp. 359-364

Author(s):

Ben Moszkowski

Keyword(s):

Temporal Analysis ◽

Concurrent Systems

Download Full-text

Description and analysis using CIRCAL

The Analysis of Concurrent Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-16047-7_53 ◽

1985 ◽

pp. 293-313

Author(s):

George J. Milne

Download Full-text

The Analysis of Concurrent Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Two way channel with disconnect

Parallel combinator reduction machine

The problem set

Solutions to problem no. 2

Firing squad

Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch

Conclusions

Introduction

A temporal analysis of some concurrent systems

Description and analysis using CIRCAL

The Analysis of Concurrent Systems - Lecture Notes in Computer Science
Latest Publications