CONCUR '95: Concurrency Theory - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

40

(FIVE YEARS 0)

H-INDEX

14

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540602187, 9783540447382

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verifying parameterized networks using abstraction and regular languages

CONCUR '95: Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-60218-6_30 ◽

1995 ◽

pp. 395-407 ◽

Author(s):

E. M. Clarke ◽

O. Grumberg ◽

S. Jha

Keyword(s):

Regular Languages

Download Full-text

Characterizing behavioural congruences for Petri nets

CONCUR '95: Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-60218-6_13 ◽

1995 ◽

pp. 175-189 ◽

Author(s):

Mogens Nielsen ◽

Lutz Priese ◽

Vladimiro Sassone

Keyword(s):

Download Full-text

Axiomatisations of weak equivalences for De Simone languages

CONCUR '95: Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-60218-6_16 ◽

1995 ◽

pp. 219-233 ◽

Author(s):

Irek Ulidowski

Download Full-text

A refinement theory that supports both ’decrease of nondeterminism’ and ’increase of parallelism’

CONCUR '95: Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-60218-6_28 ◽

1995 ◽

pp. 378-392 ◽

Author(s):

M. Siegel

Download Full-text

The weak late π-calculus semantics as observation equivalence

CONCUR '95: Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-60218-6_5 ◽

1995 ◽

pp. 57-71 ◽

Author(s):

Gian-Luigi Ferrari ◽

Ugo Montanari ◽

Paola Quaglia

Keyword(s):

Download Full-text

Process semantics of graph reduction

CONCUR '95: Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-60218-6_36 ◽

1995 ◽

pp. 471-485 ◽

Author(s):

Simon Brock ◽

Gerald Ostheimer

Keyword(s):

Graph Reduction

Download Full-text

On sharing and determinacy in concurrent systems

CONCUR '95: Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-60218-6_35 ◽

1995 ◽

pp. 456-470 ◽

Author(s):

Anna Philippou ◽

David Walker

Keyword(s):

Concurrent Systems

Download Full-text

A trace consistent subset of PTL

CONCUR '95: Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-60218-6_33 ◽

1995 ◽

pp. 438-452 ◽

Author(s):

P. S. Thiagarajan

Keyword(s):

Consistent Subset

Download Full-text

Towards a denotational semantics for ET-LOTOS

CONCUR '95: Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-60218-6_20 ◽

1995 ◽

pp. 269-283 ◽

Author(s):

Jeremy Bryans ◽

Jim Davies ◽

Steve Schneider

Keyword(s):

Denotational Semantics

Download Full-text

Will I be pretty, will I be rich? Some thoughts on theory vs. practice in systems engineering

CONCUR '95: Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-60218-6_19 ◽

1995 ◽

pp. 264-268

Author(s):

David Harel

Keyword(s):

Systems Engineering

Download Full-text