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

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	221-253
Number of pages	33
Journal	Theoretical Computer Science
Volume	410
Issue number	2-3
Publication status	Published - 2009

Cite this

@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",

}