Fully abstract models and refinements as tools to compare agents in timed coordination languages |
| |
Authors: | Jean-Marie Jacquet Isabelle Linden |
| |
Affiliation: | Faculty of Informatics, FUNDP–University of Namur, Belgium |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|