9 citations · 16 across the 10 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.FL2017
Specifying Graph Languages with Type Graphs
Andrea Corradini, Barbara König, Dennis Nolte
We investigate three formalisms to specify graph languages, i.e. sets of graphs, based on type graphs. First, we are interested in (pure) type graphs, where the corresponding langu…
cs.LO2017
Domains and Event Structures for Fusions
Paolo Baldan, Andrea Corradini, Fabio Gadducci
Stable event structures, and their duality with prime algebraic domains arising as partial orders of configurations, are a landmark of concurrency theory, providing a clear charact…