25 citations · 56 across the 14 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.SE2016★ 5 cited
An EMOF-Compliant Abstract Syntax for Bigraphs
Timo Kehrer, Christos Tsigkanos, Carlo Ghezzi
Bigraphs are an emerging modeling formalism for structures in ubiquitous computing. Besides an algebraic notation, which can be adopted to provide an algebraic syntax for bigraphs,…
cs.FL2016★ 1 cited
Modeling, refining and analyzing Incomplete Büchi Automata
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
Software development is an iterative process which includes a set of development steps that transform the initial high level specification of the system into its final, fully speci…