Texts in Computer Science - Verification of Sequential and Concurrent Programs
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer London

9781848827448, 9781848827455

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fairness

Texts in Computer Science - Verification of Sequential and Concurrent Programs ◽

10.1007/978-1-84882-745-5_12 ◽

2010 ◽

pp. 407-455

Download Full-text

Distributed Programs

Texts in Computer Science - Verification of Sequential and Concurrent Programs ◽

10.1007/978-1-84882-745-5_11 ◽

2010 ◽

pp. 373-406

Keyword(s):

Distributed Programs

Download Full-text

Disjoint Parallel Programs

Texts in Computer Science - Verification of Sequential and Concurrent Programs ◽

10.1007/978-1-84882-745-5_7 ◽

2010 ◽

pp. 243-266

Keyword(s):

Parallel Programs

Download Full-text

Preliminaries

Texts in Computer Science - Verification of Sequential and Concurrent Programs ◽

10.1007/978-1-84882-745-5_2 ◽

2010 ◽

pp. 18-52

Download Full-text

Object-Oriented Programs

Texts in Computer Science - Verification of Sequential and Concurrent Programs ◽

10.1007/978-1-84882-745-5_6 ◽

2010 ◽

pp. 185-241

Keyword(s):

Object Oriented

Download Full-text

Introduction

Texts in Computer Science - Verification of Sequential and Concurrent Programs ◽

10.1007/978-1-84882-745-5_1 ◽

2010 ◽

pp. 3-17

Download Full-text

Parallel Programs with Shared Variables

Texts in Computer Science - Verification of Sequential and Concurrent Programs ◽

10.1007/978-1-84882-745-5_8 ◽

2010 ◽

pp. 267-305

Keyword(s):

Parallel Programs ◽

Shared Variables

Download Full-text

While Programs

Texts in Computer Science - Verification of Sequential and Concurrent Programs ◽

10.1007/978-1-84882-745-5_3 ◽

2010 ◽

pp. 55-126

Download Full-text

Parallel Programs with Synchronization

Texts in Computer Science - Verification of Sequential and Concurrent Programs ◽

10.1007/978-1-84882-745-5_9 ◽

2010 ◽

pp. 307-346

Keyword(s):

Parallel Programs

Download Full-text

Recursive Programs with Parameters

Texts in Computer Science - Verification of Sequential and Concurrent Programs ◽

10.1007/978-1-84882-745-5_5 ◽

2010 ◽

pp. 151-183

Keyword(s):

Recursive Programs

Download Full-text