Concurrency Theory
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer-Verlag

1852338954

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Testing Theory and the Linear Time — Branching Time Spectrum

Concurrency Theory ◽

10.1007/1-84628-336-1_5 ◽

2006 ◽

pp. 141-180

Keyword(s):

Linear Time ◽

Time Spectrum ◽

Branching Time ◽

Download Full-text

Comparison of LOTOS with CCS and CSP

Concurrency Theory ◽

10.1007/1-84628-336-1_7 ◽

2006 ◽

pp. 215-232

Download Full-text

Process Calculi: LOTOS

Concurrency Theory ◽

10.1007/1-84628-336-1_2 ◽

2006 ◽

pp. 19-54

Keyword(s):

Process Calculi

Download Full-text

Semantic Models for tLOTOS

Concurrency Theory ◽

10.1007/1-84628-336-1_10 ◽

2006 ◽

pp. 287-320

Keyword(s):

Semantic Models

Download Full-text

Discrete Timed Automata

Concurrency Theory ◽

10.1007/1-84628-336-1_13 ◽

2006 ◽

pp. 377-395

Keyword(s):

Download Full-text

True Concurrency Models: Event Structures

Concurrency Theory ◽

10.1007/1-84628-336-1_4 ◽

2006 ◽

pp. 105-139

Keyword(s):

True Concurrency ◽

Event Structures

Download Full-text

Timelocks in Timed Automata

Concurrency Theory ◽

10.1007/1-84628-336-1_12 ◽

2006 ◽

pp. 347-376

Keyword(s):

Download Full-text

Timed Communicating Automata

Concurrency Theory ◽

10.1007/1-84628-336-1_11 ◽

2006 ◽

pp. 321-345

Keyword(s):

Communicating Automata

Download Full-text

Background on Concurrency Theory

Concurrency Theory ◽

10.1007/1-84628-336-1_1 ◽

2006 ◽

pp. 3-13

Keyword(s):

Concurrency Theory

Download Full-text

Timed Process Calculi, a LOTOS Perspective

Concurrency Theory ◽

10.1007/1-84628-336-1_9 ◽

2006 ◽

pp. 261-286

Keyword(s):

Process Calculi

Download Full-text