Texts in Computer Science - Understanding Concurrent Systems
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer London

9781848822573, 9781848822580

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Understanding Shared-Variable Concurrency

Texts in Computer Science - Understanding Concurrent Systems ◽

10.1007/978-1-84882-258-0_19 ◽

2010 ◽

pp. 447-480

Author(s):

A. W. Roscoe

Keyword(s):

Shared Variable

Download Full-text

Shared-Variable Programs

Texts in Computer Science - Understanding Concurrent Systems ◽

10.1007/978-1-84882-258-0_18 ◽

2010 ◽

pp. 419-446

Author(s):

A. W. Roscoe

Keyword(s):

Shared Variable

Download Full-text

Timed Systems 1: tock-CSP

Texts in Computer Science - Understanding Concurrent Systems ◽

10.1007/978-1-84882-258-0_14 ◽

2010 ◽

pp. 321-343

Author(s):

A. W. Roscoe

Keyword(s):

Download Full-text

The Algebra of CSP

Texts in Computer Science - Understanding Concurrent Systems ◽

10.1007/978-1-84882-258-0_13 ◽

2010 ◽

pp. 293-317

Author(s):

A. W. Roscoe

Download Full-text

Infinite-Behaviour Models

Texts in Computer Science - Understanding Concurrent Systems ◽

10.1007/978-1-84882-258-0_12 ◽

2010 ◽

pp. 271-291

Author(s):

A. W. Roscoe

Keyword(s):

Behaviour Models

Download Full-text

Denotational Semantics and Behavioural Models

Texts in Computer Science - Understanding Concurrent Systems ◽

10.1007/978-1-84882-258-0_10 ◽

2010 ◽

pp. 229-253

Author(s):

A. W. Roscoe

Keyword(s):

Denotational Semantics

Download Full-text

Using FDR

Texts in Computer Science - Understanding Concurrent Systems ◽

10.1007/978-1-84882-258-0_8 ◽

2010 ◽

pp. 143-187

Author(s):

A. W. Roscoe

Download Full-text

Beyond Traces

Texts in Computer Science - Understanding Concurrent Systems ◽

10.1007/978-1-84882-258-0_6 ◽

2010 ◽

pp. 115-129

Author(s):

A. W. Roscoe

Download Full-text

State Explosion and Parameterised Verification

Texts in Computer Science - Understanding Concurrent Systems ◽

10.1007/978-1-84882-258-0_17 ◽

2010 ◽

pp. 385-415

Author(s):

A. W. Roscoe

Keyword(s):

State Explosion

Download Full-text

Timed Systems 2: Discrete Timed CSP

Texts in Computer Science - Understanding Concurrent Systems ◽

10.1007/978-1-84882-258-0_15 ◽

2010 ◽

pp. 345-355

Author(s):

A. W. Roscoe

Keyword(s):

Timed Systems ◽

Download Full-text