Jean-Luc Koning, et al.  Home/Search
Context Related
| csl.sony.fr/downlo...erijcis2000.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: csl.sony.fr/Gen...e=oudeyer%3A00c (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: INTRODUCTION TO POS: A PROTOCOL OPERATIONAL SEMANTICS JEAN-LUC KONING Leibniz-Esisar, 50 rue de Laemas - BP 54 26902 Valence cedex 9, France PIERRE-YVES OUDEYER Sony CSL Paris, 6 rue Amyot 75005 Paris, France Received (to be inserted Revised by Publisher) In this paper we propose a system for representing interaction protocols called POS which is both Turing complete and determine a complete semantics of protocols. This work is inspired by the Structured Operational Semantics in... (Update)
Context of citations to this paper: More
.... computational one due to the existence of adequate programming languages, like Pizza Java [11] and other ML languages [10] In a theoretical paper [8] we have extensively developed the POS model. The current section brie y summarizes its main characteristics. The three kinds of...
Cited by: More
Modeling Soccer-Robots Strategies Through Interaction Protocols - Oudeyer, Koning (2000) (Correct)
Active bibliography (related documents): More All
0.5: A Multi-Agent Approach for Mediation Support on the Net - Koning, Occello.. (Correct)
0.3: Survey of Theories for Mobile Agents - Serugendo, Muhugusa, Tschudin.. (1996) (Correct)
0.3: A Survey of Theories for Mobile Agents - Serugendo, Muhugusa, al. (1995) (Correct)
Similar documents based on text: More All
0.3: Developing Agent Interaction Protocols Using Graphical.. - Paurobally.. (2003) (Correct)
0.3: Taming robots with clicker training: A solution for.. - Kaplan, Oudeyer.. (2001) (Correct)
0.2: Striking the right note with ARTIST: an AI-based synthesiser - Eduardo Reck Miranda (1998) (Correct)
BibTeX entry: (Update)
Jean-Luc Koning and Pierre-Yves Oudeyer. Introduction to POS: A protocol operational semantics. International Journal on Cooperative Information Systems, 2000. To be published. http://citeseer.ist.psu.edu/koning00introduction.html More
@article{ koning01introduction,
author = "Jean-Luc Koning and Pierre-Yves Oudeyer",
title = "Introduction to {POS}: A Protocol Operational Semantics",
journal = "International Journal of Cooperative Information Systems",
volume = "10",
number = "1-2",
pages = "101-123",
year = "2001",
url = "citeseer.ist.psu.edu/koning00introduction.html" }
Citations (may not include all citations):257 Report on the programming language Haskell (context) - Hudak, Wadler - 1990
238 Pizza into Java: Translating theory into practice - Odersky, Wadler - 1997
224 Speech Acts: An Essay in the Philosophy of Language (context) - Searle - 1969
137 Issues in automated negotiation and electronic commerce: Ext.. - Sandholm, Lesser - 1995
109 Operating Systems Design and Implementation (context) - Tanenbaum - 1987
105 Framework for cooperation in distributed problem solving (context) - Smith, Davis - 1981
81 A proposal for standard ML (context) - Milner - 1987
32 Multi-robot cooperation in the MARTHA project (context) - Alami, Fleury - 1998
17 AgenTalk: Coordination protocol description for multiagent s.. (context) - Kuwabara, Ishida et al. - 1995
17 AgenTalk: Describing multiagent coordination protocols with .. - Kuwabara, Ishida et al. - 1995
16 Languages and Machines (context) - Sudkamp - 1988
13 Consistent and Complementary Formal Theories of the Semantic.. (context) - Hoare, Lauer - 1974
13 Modeling agent conversation with colored Petri nets - Cost, Chen et al. - 1999
8 Toward interaction oriented programming - Singh - 1996
8 Interaction protocols in Agentis - d'Inverno, Kinny et al. - 1998
8 An approach to the formal verication of cryptographic protoc.. (context) - Bolignano - 1996
7 Introduction to Computability (context) - Hennie - 1977
5 Formalization and pre-validation for interaction protocols i.. (context) - Koning, Francois et al. - 1998
4 cooperation protocols for multi-agent systems (context) - Burmeister, Haddadi et al. - 1995
3 Modelling interaction in agent systems - Dalmonte, Gaspari - 1995
2 The Semantics of Programming Languages: An Introduction Usin.. (context) - Hennessy - 1990
2 Adaptation based on cooperative learning in multi-agent syst.. (context) - Sian - 1991
2 A structural approach to operationnal semantics (context) - Plotkin - 1981
2 Modeling and implementing conversation policies using POS (context) - Koning, Oudeyer - 2000
1 Conversation oriented programming in COOL: Current state and.. - Barbuceanu, Lo - 1999
1 The Agentis interaction model (context) - Kinny - 1998
1 Modeling soccer-robots strategies through conversation polic.. (context) - Koning, Oudeyer - 2000
1 Formal semantics for an abstract agent programming language (context) - de Boer - 1997
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC