|
Conferences in DBLP
- Zhou Chaochen
Duration Calculus, a Logical Approach to Real-Time Systems. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:1-7 [Conf]
- Don Pigozzi
Abstract Algebraic Logic. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:8-16 [Conf]
- T. S. E. Maibaum, Pauline Kan, Kevin Lano
Systematising Reactive System Design. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:17-22 [Conf]
- Pamela Zave
Systematic Design of Call-Coverage Features. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:23-27 [Conf]
- Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe
Visual Abstractions for Temporal Verification. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:28-41 [Conf]
- Glynn Winskel
A Linear Metalanguage for Concurrency. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:42-58 [Conf]
- Tomohiro Yoneda, Bin Zhou, Bernd-Holger Schlingloff
Verification of Bounded Delay Asynchronous Circuits with Timed Traces. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:59-73 [Conf]
- Jan Friso Groote, Radu Mateescu
Verification of Temporal Properties of Processes in a Setting with Data. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:74-90 [Conf]
- Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:91-105 [Conf]
- Grégoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez
Effective Recognizability and Model Checking of Reactive Fiffo Automata. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:106-123 [Conf]
- Bettina Buth, Jan Peleska, Hui Shi
Combining Methods for the Livelock Analysis of a Fault-Tolerant System. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:124-139 [Conf]
- Bernhard Heinemann
Separating Sets by Modal Formulas. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:140-153 [Conf]
- Maarten Marx
Interpolation in Modal Logic. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:154-163 [Conf]
- Valeria de Paiva, Andrea Schalk
Building Models of Linear Logic. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:164-177 [Conf]
- W. Marco Schorlemmer
Term Rewriting in a Logic of Special Relations. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:178-195 [Conf]
- Jo Erskine Hannay
Abstraction Barriers in Equational Proof. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:196-213 [Conf]
- Mourad Debbabi, Abdelkader Benzakour, Béchir Ktari
A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:214-230 [Conf]
- Jürgen Dingel
A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:231-247 [Conf]
- Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman
Consistency of Partial Process Specifications. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:248-262 [Conf]
- Rolf Hennicker, Michel Bidoit
Observational Logic. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:263-277 [Conf]
- Rob J. van Glabbeek, Peter Rittgen
Scheduling Algebra. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:278-292 [Conf]
- José Luiz Fiadeiro, Antónia Lopes
Algebraic Semantics of Coordination or What Is in a Signature. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:293-307 [Conf]
- Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:308-324 [Conf]
- Pietro Cenciarelli
An Algebraic View of Program Composition. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:325-340 [Conf]
- Michel Bidoit, Donald Sannella, Andrzej Tarlecki
Architectural Specifications in CASL. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:341-357 [Conf]
- Paola Quaglia
Pi-Congruences as CCS Equivalences. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:358-372 [Conf]
- Hélène Kirchner, Peter D. Mosses
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:373-388 [Conf]
- Wlodzimierz Drabent, Pawel Pietrzak
Type Analysis for CHIP. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:389-405 [Conf]
- Martin Erwig
Categorical Programming with Abstract Data Types. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:406-421 [Conf]
- Blas C. Ruiz Jiménez
Condensing Lemmas for Pure Type Systems with Universes. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:422-437 [Conf]
- Jesús Manuel Almendros-Jiménez
Improving Computations in a Typed Functional Logic Language. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:438-454 [Conf]
- Fausto Spoto, Giorgio Levi
Abstract Interpretation of Prolog Programs. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:455-470 [Conf]
- Roberto Bagnara, Peter Schachte
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:471-485 [Conf]
- Alfio Martini, Uwe Wolter
A Single Perspective on Arrows between Institutions. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:486-501 [Conf]
- Patrícia D. L. Machado
On Oracles for Interpreting Test Results against Algebraic Specifications. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:502-518 [Conf]
- Zoltan Gassmann, Luis Mandel, Roshan Sembacuttiaratchy
RECOPLA: An Extendible Graphic Meta-Editor. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:519-521 [Conf]
- Bernd Grahlmann
The State of PEP. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:522-526 [Conf]
- Hermano Perrelli de Moura, Luis Carlos de Sousa Menezes
The ABACO System - An Algebraic Based Action COmpiler. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:527-529 [Conf]
|