Fully abstract models and refinements as tools to compare agents in timed coordination languages
Jean-Marie Jacquet, Isabelle LindenVolume:
410
Year:
2009
Language:
english
Pages:
33
DOI:
10.1016/j.tcs.2008.09.020
File:
PDF, 1.65 MB
english, 2009