Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Information and Computation
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
A Higher-Order Simulation Relation for System F
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
On the Duality between Observability and Reachability
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Specification Refinement with System F
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Global Development via Local Observational Construction Steps
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
On the Integration of Observability and Reachability Concepts
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Observational logic, constructor-based logic, and their duality
Theoretical Computer Science - Foundations of software science and computation structures
Proof theory of higher-order equations: conservativity, normal forms and term rewriting
Journal of Computer and System Sciences
Abstract and behaviour module specifications
Mathematical Structures in Computer Science
Behavioral abstraction is hiding information
Theoretical Computer Science - Selected papers of CMCS'03
Observability Concepts in Abstract Data Type Specification, 30 Years Later
Concurrency, Graphs and Models
Behavioral extensions of institutions
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Externalized and internalized notions of behavioral refinement
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Răzvan Diaconescu, Institution-independent Model Theory
Studia Logica
| Hi-index | 0.01 |