On the metaphysical meaning of major religious symbols for a globalized world
- 期刊名称AI & SOCIETY
- 作者Vinay Kumar, U. A.
- 卷第30卷
- 期第2期
- 印刷ISSN0951-5666
- 电子ISSN1435-5655
- 文件大小405.57KB
- 发表时间2015-5
- DOI10.1007/s00146-014-0572-5
- 页码147-165
Concurrent bisimulations in Petri netsEike Best; Raymond Devillers; Astrid Kiehn; Lucia Pomello · 1991
Recursion and Petri netsEike Best; Raymond Devillers; Maciej Koutny · 2001
The Box Algebra=Petri Nets+Process ExpressionsEike Best; Raymond Devillers; Maciej Koutny · 2002
State space axioms for T-systemsBest, Eike; Devillers, Raymond · Acta Informatica · 2015
Sequential and concurrent behaviour in Petri net theoryEike Best; Raymond Devillers · 1987
Synthesis of Live and Bounded Persistent SystemsBest, Eike; Devillers, Raymond; Ciardo, Gianfranco; Kindler, Ekkart; Penczek, Wojciech · Fundamenta Informaticae · 2015
Bounded choice-free Petri net synthesis: algorithmic issuesBest, Eike; Devillers, Raymond; Schlachter, Uli · Acta Informatica · 2017
Web Search EngineVokorokos, Liberios; Baláž, Anton; Madoš, Branislav · Acta Electrotechnica et Informatica · 2011
Query optimization in information integrationChen, Dongfeng; Chirkova, Rada; Sadri, Fereidoon; Salo, Tiia J. · Acta Informatica · 2013
Termination of nondeterministic quantum programsLi, Yangjia; Yu, Nengkun; Ying, Mingsheng · Acta Informatica · 2014
Visibly rational expressionsBozzelli, Laura; Sánchez, César · Acta Informatica · 2014
A note on the factorization conjectureDe Felice, Clelia · Acta Informatica · 2013
Editorial: special issue on synthesisPeled, Doron; Schewe, Sven · Acta Informatica · 2014
Controlled finite automataMeduna, Alexander; Zemek, Petr · Acta Informatica · 2014