Lecture Notes in Computer Science - Seminar on Concurrency
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540156703, 9783540395935

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Semantics of networks containing indeterminate operators

Lecture Notes in Computer Science - Seminar on Concurrency ◽

10.1007/3-540-15670-4_23 ◽

1985 ◽

pp. 479-496 ◽

Cited By ~ 8

Author(s):

Robert M. Keller ◽

Prakash Panangaden

Download Full-text

Maximally concurrent evolution of non-sequential systems

Lecture Notes in Computer Science - Seminar on Concurrency ◽

10.1007/3-540-15670-4_13 ◽

1985 ◽

pp. 268-280 ◽

Cited By ~ 1

Author(s):

R. Janicki ◽

P. E. Lauer ◽

R. Devillers

Keyword(s):

Sequential Systems

Download Full-text

The ESTEREL synchronous programming language and its mathematical semantics

Lecture Notes in Computer Science - Seminar on Concurrency ◽

10.1007/3-540-15670-4_19 ◽

1985 ◽

pp. 389-448 ◽

Cited By ~ 87

Author(s):

Gérard Berry ◽

Laurent Cosserat

Keyword(s):

Programming Language ◽

Synchronous Programming ◽

Mathematical Semantics

Download Full-text

Executing temporal logic programs

Lecture Notes in Computer Science - Seminar on Concurrency ◽

10.1007/3-540-15670-4_6 ◽

1985 ◽

pp. 111-130 ◽

Cited By ~ 64

Author(s):

Ben Moszkowski

Keyword(s):

Temporal Logic ◽

Logic Programs

Download Full-text

Semantic considerations in the actor paradigm of concurrent computation

Lecture Notes in Computer Science - Seminar on Concurrency ◽

10.1007/3-540-15670-4_8 ◽

1985 ◽

pp. 151-179 ◽

Cited By ~ 6

Author(s):

Gul Agha

Keyword(s):

Concurrent Computation

Download Full-text

Process algebra with asynchronous communication mechanisms

Lecture Notes in Computer Science - Seminar on Concurrency ◽

10.1007/3-540-15670-4_4 ◽

1985 ◽

pp. 76-95 ◽

Cited By ~ 15

Author(s):

J. A. Bergstra ◽

J. W. Klop ◽

J. V. Tucker

Keyword(s):

Process Algebra ◽

Asynchronous Communication

Download Full-text

Abstract interpretation and indeterminacy

Lecture Notes in Computer Science - Seminar on Concurrency ◽

10.1007/3-540-15670-4_24 ◽

1985 ◽

pp. 497-511 ◽

Cited By ~ 6

Author(s):

Prakash Panangaden

Keyword(s):

Abstract Interpretation

Download Full-text

On the axiomatic treatment of concurrency

Lecture Notes in Computer Science - Seminar on Concurrency ◽

10.1007/3-540-15670-4_1 ◽

1985 ◽

pp. 1-34 ◽

Cited By ~ 2

Author(s):

Stephen D. Brookes

Keyword(s):

Axiomatic Treatment

Download Full-text

The pomset model of parallel processes: Unifying the temporal and the spatial

Lecture Notes in Computer Science - Seminar on Concurrency ◽

10.1007/3-540-15670-4_9 ◽

1985 ◽

pp. 180-196 ◽

Cited By ~ 19

Author(s):

Vaughan Pratt

Keyword(s):

Parallel Processes

Download Full-text

An implementation model of rendezvous communication

Lecture Notes in Computer Science - Seminar on Concurrency ◽

10.1007/3-540-15670-4_20 ◽

1985 ◽

pp. 449-457 ◽

Cited By ~ 3

Author(s):

Luca Cardelli

Keyword(s):

Implementation Model

Download Full-text

Lecture Notes in Computer Science - Seminar on ConcurrencyLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Semantics of networks containing indeterminate operators

Maximally concurrent evolution of non-sequential systems

The ESTEREL synchronous programming language and its mathematical semantics

Executing temporal logic programs

Semantic considerations in the actor paradigm of concurrent computation

Process algebra with asynchronous communication mechanisms

Abstract interpretation and indeterminacy

On the axiomatic treatment of concurrency

The pomset model of parallel processes: Unifying the temporal and the spatial

An implementation model of rendezvous communication

Lecture Notes in Computer Science - Seminar on Concurrency
Latest Publications