Workshops in Computing - Specification and Verification of Concurrent Systems
Latest Publications

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer London

9783540195818, 9781447135340

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Specification and Design of a Nondeterministic Data Structure Using CCS

Workshops in Computing - Specification and Verification of Concurrent Systems ◽

10.1007/978-1-4471-3534-0_26 ◽

1990 ◽

pp. 500-525

Author(s):

Stuart R. Matthews

Keyword(s):

Download Full-text

Specification and implementation of concurrent systems using PARLOG

Workshops in Computing - Specification and Verification of Concurrent Systems ◽

10.1007/978-1-4471-3534-0_23 ◽

1990 ◽

pp. 455-473

Author(s):

David Gilbert

Keyword(s):

Concurrent Systems ◽

Specification And Implementation

Download Full-text

Concurrency in Modula-2: Properties of the Language Primitives

Workshops in Computing - Specification and Verification of Concurrent Systems ◽

10.1007/978-1-4471-3534-0_22 ◽

1990 ◽

pp. 439-454

Author(s):

Robin A. Nicholl

Download Full-text

Analysis of Estelle Specifications

Workshops in Computing - Specification and Verification of Concurrent Systems ◽

10.1007/978-1-4471-3534-0_21 ◽

1990 ◽

pp. 428-438 ◽

Author(s):

Udo Thalmann

Download Full-text

Temporal Specifications Directed by Grammar and Design of Process Networks

Workshops in Computing - Specification and Verification of Concurrent Systems ◽

10.1007/978-1-4471-3534-0_20 ◽

1990 ◽

pp. 410-427

Author(s):

Francois D. Carrez ◽

Dominique Mery

Keyword(s):

Process Networks ◽

Temporal Specifications

Download Full-text

Object-Oriented Process Specification

Workshops in Computing - Specification and Verification of Concurrent Systems ◽

10.1007/978-1-4471-3534-0_2 ◽

1990 ◽

pp. 21-70 ◽

Author(s):

S. A. Schuman ◽

D. H. Pitt ◽

P. J. Byers

Keyword(s):

Object Oriented ◽

Process Specification

Download Full-text

Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic

Workshops in Computing - Specification and Verification of Concurrent Systems ◽

10.1007/978-1-4471-3534-0_19 ◽

1990 ◽

pp. 384-409

Author(s):

Jeffrey J. Joyce

Keyword(s):

Formal Specification ◽

Higher Order ◽

Order Logic ◽

Higher Order Logic ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Synchronization in Network Protocols

Workshops in Computing - Specification and Verification of Concurrent Systems ◽

10.1007/978-1-4471-3534-0_17 ◽

1990 ◽

pp. 344-367

Author(s):

J. D. Parker

Keyword(s):

Network Protocols

Download Full-text

Dynamic Communication Links

Workshops in Computing - Specification and Verification of Concurrent Systems ◽

10.1007/978-1-4471-3534-0_9 ◽

1990 ◽

pp. 184-195 ◽

Author(s):

C. M. Holt

Keyword(s):

Communication Links

Download Full-text

A Tool for the Performance Analysis of Concurrent Systems

Workshops in Computing - Specification and Verification of Concurrent Systems ◽

10.1007/978-1-4471-3534-0_6 ◽

1990 ◽

pp. 121-139

Author(s):

Vincenza Carchiolo ◽

Albert Faro ◽

Michele Malgeri

Keyword(s):

Performance Analysis ◽

Concurrent Systems

Download Full-text