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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540616047, 9783540706250

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modular verification for shared-variable concurrent programs

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

10.1007/3-540-61604-7_85 ◽

1996 ◽

pp. 703-718 ◽

Cited By ~ 3

Author(s):

Jürgen Dingel

Keyword(s):

Concurrent Programs ◽

Shared Variable ◽

Modular Verification

Download Full-text

A calculus for concurrent objects

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

10.1007/3-540-61604-7_82 ◽

1996 ◽

pp. 655-670 ◽

Cited By ~ 23

Author(s):

Paolo Blasio ◽

Kathleen Fisher

Keyword(s):

Concurrent Objects

Download Full-text

Linear constraint systems as high-level nets

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

10.1007/3-540-61604-7_72 ◽

1996 ◽

pp. 498-513

Author(s):

Eike Best ◽

Catuscia Palamidessi

Keyword(s):

Linear Constraint ◽

Constraint Systems ◽

High Level

Download Full-text

Testing probabilistic automata

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

10.1007/3-540-61604-7_62 ◽

1996 ◽

pp. 299-314 ◽

Cited By ~ 35

Author(s):

Roberto Segala

Keyword(s):

Probabilistic Automata

Download Full-text

Algebraic interpretation of lambda calculus with resources

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

10.1007/3-540-61604-7_68 ◽

1996 ◽

pp. 422-437 ◽

Cited By ~ 1

Author(s):

Carolina Lavatelli

Keyword(s):

Lambda Calculus ◽

Algebraic Interpretation

Download Full-text

The modal mu-calculus alternation hierarchy is strict

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

10.1007/3-540-61604-7_58 ◽

1996 ◽

pp. 233-246 ◽

Cited By ~ 18

Author(s):

J. C. Bradfield

Download Full-text

Synchronous development of asynchronous systems

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

10.1007/3-540-61604-7_87 ◽

1996 ◽

pp. 735-750 ◽

Cited By ~ 2

Author(s):

Clemens Fischer ◽

Wil Janssen

Keyword(s):

Asynchronous Systems ◽

Synchronous Development

Download Full-text

Action refinement and property inheritance in systems of sequential agents

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

10.1007/3-540-61604-7_81 ◽

1996 ◽

pp. 639-654 ◽

Cited By ~ 9

Author(s):

Michaela Huhn

Keyword(s):

Action Refinement ◽

Property Inheritance

Download Full-text

Petri boxes and finite precedence

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

10.1007/3-540-61604-7_70 ◽

1996 ◽

pp. 465-480

Author(s):

Raymond Devillers

Download Full-text

A calculus of mobile agents

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

10.1007/3-540-61604-7_67 ◽

1996 ◽

pp. 406-421 ◽

Cited By ~ 162

Author(s):

Cédric Fournet ◽

Georges Gonthier ◽

Jean-Jacques Levy ◽

Luc Maranget ◽

Didier Rémy

Keyword(s):

Mobile Agents

Download Full-text

CONCUR '96: Concurrency Theory - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Modular verification for shared-variable concurrent programs

A calculus for concurrent objects

Linear constraint systems as high-level nets

Testing probabilistic automata

Algebraic interpretation of lambda calculus with resources

The modal mu-calculus alternation hierarchy is strict

Synchronous development of asynchronous systems

Action refinement and property inheritance in systems of sequential agents

Petri boxes and finite precedence

A calculus of mobile agents

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