On guarded simulations and acyclic first-order languages

GHL Fletcher, AJH Hidders, S Vansummeren, Y Luo, F Picalausa, P de Bra

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientific

Original languageEnglish
Title of host publicationDBPL 2011
Editors sn
Pages1-7
Number of pages7
Publication statusPublished - 2011

Keywords

  • Conf.proc. > 3 pag

Cite this