Fully Abstract Models and Refinements as Tools to Compare Agents in Timed Coordination Languages

Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

langue originale	Anglais
Pages (de - à)	221-253
Nombre de pages	33
journal	Theoretical Computer Science
Volume	410
Numéro de publication	2-3
Etat de la publication	Publié - 2009

Contient cette citation

@article{6b02e280ac414696bb740012e1c19e67,

title = "Fully Abstract Models and Refinements as Tools to Compare Agents in Timed Coordination Languages",

author = "Jean-Marie Jacquet and Isabelle Linden",

year = "2009",

language = "English",

volume = "410",

pages = "221--253",

journal = "Theoretical Computer Science",

publisher = "Elsevier",

number = "2-3",

}