CONCUR 2000 — Concurrency Theory - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

42
(FIVE YEARS 0)

H-INDEX

16
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540678977, 9783540446187
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Failure Semantics for the Exchange of Information in Multi-Agent Systems

2000 ◽  
pp. 214-228 ◽  
Author(s):  
Frank S. de Boer ◽  
Rogier M. van Eijk ◽  
Wiebe van der Hoek ◽  
John-Jules Ch. Meyer
Keyword(s):  
Multi Agent Systems ◽  
Agent Systems ◽  
Exchange Of Information ◽  
Multi Agent

Well-Abstracted Transition Systems

2000 ◽  
pp. 566-581 ◽  
Author(s):  
Alain Finkel ◽  
Purushothaman Iyer ◽  
Gregoire Sutre
Keyword(s):  
Transition Systems

Formal Models for Communication-Based Design

2000 ◽  
pp. 29-47 ◽  
Author(s):  
Alberto Sangiovanni-Vincentelli ◽  
Marco Sgroi ◽  
Luciano Lavagno
Keyword(s):  
Formal Models

Secrecy and Group Creation

2000 ◽  
pp. 365-379 ◽  
Author(s):  
Luca Cardelli ◽  
Giorgio Ghelli ◽  
Andrew D. Gordon

scholarly journals Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic

2000 ◽  
pp. 259-274 ◽  
Author(s):  
Roberto Bruni ◽  
David de Frutos-Escrig ◽  
Narciso Martí-Oliet ◽  
Ugo Montanari
Load More ...
Sign in / Sign up

Export Citation Format

Share Document