✦ LIBER ✦

A fully abstract semantics for causality in the(pi)-calculus

✍ Scribed by Michele Boreale; Davide Sangiorgi

Publisher: Springer-Verlag
Year: 1998
Tongue: English
Weight: 461 KB
Volume: 35
Category: Article
ISSN: 0001-5903
DOI: 10.1007/s002360050124

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A fully abstract model for the exchange

A fully abstract model for the exchange of information in multi-agent systems

✍ Frank S. de Boer; Rogier M. van Eijk; Wiebe van der Hoek; John-Jules Ch. Meyer 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 223 KB

In this paper, 1 we present a semantic theory for the exchange of information in multi-agent systems. We consider the multi-agent programming language agent communication programming language, which integrates the paradigms of concurrent constraint programming and communicating sequential processes

Surface mining has safety problems too -

Surface mining has safety problems too - a review of the causal factors of accidents in surface coal mines - abstract of paper for the 1974 SME Fall meeting, Acapulco : Mining Engineering,AIME,V26,N8,Aug.1974,P55

✍ T.W. Martin; J.H. Hursman; D.J. Callaghan 📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 90 KB