Conferences in DBLP
Hajnal Andréka , István Németi , Ildikó Sain Applying Algebraic Logic to Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Roger D. Maddux Relation Algebras for Reasoning about Time and Space. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Johnson , Christopher N. G. Dampney On the Value of Commutative Diagrams in Information Modelling. [Citation Graph (1, 0)][DBLP ] Conf ] Steve Schneider Rigorous Specification of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rob J. van Glabbeek Full Abstraction in Structural Operational Semantics (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Halbwachs , Fabienne Lagnier , Pascal Raymond Synchronous Observers and the Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Comon Constraints in Term Algebras (Short Survey). [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Giacobazzi , Giorgio Levi , Saumya K. Debray Joining Abstract and Concrete Computations in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Don Pigozzi , Antonino Salibra Dimension-Complemented Lambda Abstraction Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Till Mossakowski Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Tim Sheard Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Bolignano , Mourad Debbabi A Coherent Type System for a Concurrent, Functional and Imperative Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Brink , Katarina Britz Peirce Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Rudolf Berghammer , Armando Martin Haeberer , Gunther Schmidt , Paulo A. S. Veloso Comparing Two Different Approaches to Products in Abstract Relation Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Erwig Specifying Type Systems with Multi-Level Order-Sorted Algebra. [Citation Graph (1, 0)][DBLP ] Conf ] Peter Thiemann An Overview of the SODA System. [Citation Graph (0, 0)][DBLP ] Conf ] Gillian Hill Category Theory for the Configuration of Complex Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Maura Cerioli , Gianna Reggio Algebraic-Oriented Institutions. [Citation Graph (0, 0)][DBLP ] Conf ] Marisa Navarro , Fernando Orejas , Ana Sánchez On the Correctness of Modular Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig , Francesco Parisi-Presicce Interaction between Algebraic Specification Grammars and Modular System Design. [Citation Graph (0, 0)][DBLP ] Conf ] R. K. Shyamasundar Specification of Hybrid Systems in CRP. [Citation Graph (0, 0)][DBLP ] Conf ] Aurel Cornell , John Knaack , A. Nangia , Teodor Rus Real-Time Program Synthesis from Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Ed Brinksma On the Coverage of Partial Validations. [Citation Graph (0, 0)][DBLP ] Conf ] Khalil Drira , Pierre Azéma Verifying Communication Protocols Via Testing-Projection. [Citation Graph (0, 0)][DBLP ] Conf ] Pasquale Malacaria Equivalences of Transition Systems in an Algebraic Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Eugenio Battiston , V. Crespi , Fiorella de Cindio , Giancarlo Mauri Semantics Frameworks for a Class of Modular Algebraic Nets. [Citation Graph (0, 0)][DBLP ] Conf ] David de Frutos-Escrig A Characterization of LOTOS Representable Networks of Parallel Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Gorrieri , Marco Roccetti Towards Performance Evaluation in Process Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] François Laroussinie , Sophie Pinchinat , Ph. Schnoebelen Translation Results for Modal Logics of Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ismar Neumann Kaufman , Silvio Romero de Lemos Meira Modal Action Logic in a Practical Specification Language. [Citation Graph (0, 0)][DBLP ] Conf ] Abdelillah Mokkedem , Dominique Méry On Using a Composition Principle to Design Parallel Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Nicoletta Sabadini , Sebastiano Vigna , Robert F. C. Walters A Notion of Refinement for Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Eric G. Wagner The Role of Memory in Object-based and Object-oriented Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Ruth Breu , Michael Breu Abstract and Concrete Objects - An Algebraic Design Method for Object-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Xue-Miao Lu , Tharam S. Dillon Towards an Algebraic Theory of Inheritance in Project Oriented Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Gogolla , Ingo Claßen An Object-Oriented Design for the ACT ONE Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Julio García-Martín , Juan José Moreno-Navarro A Formal Definition of an Abstract Prolog Compiler (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Valentin M. Antimirov , Anatoli Degtyarev Completeness of Equational Definitions over Predefined Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] George Loegel , Chinya V. Ravishankar An Algebraic Approach to Modeling in Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Elizabeth A. Scott Automated Proof of the Correctness of a Compiling Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Rudolf Berghammer , Gunther Schmidt RELVIEW - A Computer System for the Manipulation of Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Claudia Hattensperger , Rudolf Berghammer , Gunther Schmidt RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker. [Citation Graph (0, 0)][DBLP ] Conf ] Naima Brown , Dominique Méry Towards an Integrated Environment for Concurrent programs Development. [Citation Graph (0, 0)][DBLP ] Conf ] Thony van der Vloedt The LOTOS Toolbox. [Citation Graph (0, 0)][DBLP ] Conf ] Arie van Deursen , T. B. Dinesh , Emma van der Meulen The ASF+SDF Meta-environment. [Citation Graph (0, 0)][DBLP ] Conf ] Arie van Deursen , Peter D. Mosses Executing Action Semantic Descriptions using ASF+SDF. [Citation Graph (0, 0)][DBLP ] Conf ] 