Lecture Notes in Computer Science - Seminar on Concurrency
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

9
(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

1985 ◽  
pp. 479-496 ◽  
Author(s):  
Robert M. Keller ◽  
Prakash Panangaden

Maximally concurrent evolution of non-sequential systems

1985 ◽  
pp. 268-280 ◽  
Author(s):  
R. Janicki ◽  
P. E. Lauer ◽  
R. Devillers
Keyword(s):  
Sequential Systems

Executing temporal logic programs

1985 ◽  
pp. 111-130 ◽  
Author(s):  
Ben Moszkowski
Keyword(s):  
Temporal Logic ◽  
Logic Programs

scholarly journals Process algebra with asynchronous communication mechanisms

1985 ◽  
pp. 76-95 ◽  
Author(s):  
J. A. Bergstra ◽  
J. W. Klop ◽  
J. V. Tucker
Keyword(s):  
Process Algebra ◽  
Asynchronous Communication

Abstract interpretation and indeterminacy

1985 ◽  
pp. 497-511 ◽  
Author(s):  
Prakash Panangaden
Keyword(s):  
Abstract Interpretation

scholarly journals On the axiomatic treatment of concurrency

1985 ◽  
pp. 1-34 ◽  
Author(s):  
Stephen D. Brookes
Keyword(s):  
Axiomatic Treatment

An implementation model of rendezvous communication

1985 ◽  
pp. 449-457 ◽  
Author(s):  
Luca Cardelli
Keyword(s):  
Implementation Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document