Marius Petria

Publication Activity (10 Years)

Years Active: 2006-2012
Publications (10 Years): 0

Top Topics

Delay Insensitive

Functional Requirements

Top Venues

Theor. Comput. Sci.

Publications

Marius Petria
Generic constructions for behavioral specifications. Theor. Comput. Sci. 415 (2012)
Daniel Gâinâ, Marius Petria
Completeness by Forcing. J. Log. Comput. 20 (6) (2010)
Razvan Diaconescu, Marius Petria
Saturated models in institutions. Arch. Math. Log. 49 (6) (2010)
Marius Petria
An Institutional Version of Gödel's Completeness Theorem. CALCO (2007)
Razvan Diaconescu, Marius Petria
Abstract Beth definability in institutions. J. Symb. Log. 71 (3) (2006)