|
Journals in DBLP
- Antonio Cerone, Andrea Maggiolo-Schettini
Time-Based Expressivity of Time Petri Nets for System Specification. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:216, n:1-2, pp:1-53 [Journal]
- William Ferreira, Matthew Hennessy
A Behavioural Theory of First-Order CML. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:216, n:1-2, pp:55-107 [Journal]
- Elena Zucca
From Static to Dynamic Abstract Data-Types: An Institution Transformation. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:216, n:1-2, pp:109-157 [Journal]
- Roberto Giacobazzi, Francesco Ranzato
The Reduced Relative Power Operation on Abstract Domains. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:216, n:1-2, pp:159-211 [Journal]
- Cui Zhang, Ronald A. Olsson, Karl N. Levitt
Formal Verification of a Programming Logic for a Distributed Programming Language. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:216, n:1-2, pp:213-235 [Journal]
- Pierpaolo Degano, Corrado Priami
Non-Interleaving Semantics for Mobile Processes. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:216, n:1-2, pp:237-270 [Journal]
- Francesca Levi
A Compositional µ-Calculus Proof System for Statecharts Processes. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:216, n:1-2, pp:271-310 [Journal]
- Peter Burmeister, Miquel Monserrat, Francesc Rosselló, Gabriel Valiente
Algebraic Transformation of Unary Partial Algebras II: Single-Pushout Approach. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:216, n:1-2, pp:311-362 [Journal]
- Manfred Schmidt-Schauß
Decidability of Behavioural Equivalence in Unary PCF. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:216, n:1-2, pp:363-373 [Journal]
- K. Rustan M. Leino, Rajit Manohar
Joining Specification Statements. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:216, n:1-2, pp:375-394 [Journal]
- Mingsheng Ying
A Shorter Proof to Uniqueness of Solutions of Equations. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:216, n:1-2, pp:395-397 [Journal]
|