Publications

Laszlo Aszalos, Andreas Herzig

A protocol for execution of distributed logic programs (regular paper)

Dans : International Symposium on Intelligent Distributed Computing (IDC 2009), Ayia Napa, Cyprus, 12/10/09-14/10/09, George A. Papadopoulos, Costin Badica (Eds.), Springer-Verlag, Studies in Computational Intelligence 237, p. 21-30, octobre 2009.

BibTeX

Laszlo Aszalos, Philippe Balbiani

Parallel dynamic logic with communication

Dans : MFI’03, Modèles formels de l’interaction, France, 01/01/03-31/12/03, A. Herzig, B. Chaib-draa (Eds.), Cépaduès, p. 11-18, janvier 2003.

BibTeX

Laszlo Aszalos, Philippe Balbiani

Logical aspects of user authentication protocols

Dans : 7th Seminar Relmics – 2nd Workshop Kleene Algebra, Malente, 01/05/03-31/05/03, R. Berghammer, B. Möller (Eds.), Christian-Albrechts-Universität zu Kiel, p. 277-287, mai 2003.

BibTeX

Laszlo Aszalos, Andreas Herzig

Reasoning about Failure (regular paper)

Dans : Engineering Societies in the Agents’ World (ESAW 2001), Prague, 07/07/01, Springer-Verlag, p. 74-86, juillet 2001.

Accès : http://www.irit.fr/~Andreas.Herzig/P/esaw01.html
BibTeX