default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 216
Volume 216, Numbers 1-2, 6 March 1999
- Antonio Cerone, Andrea Maggiolo-Schettini:
Time-Based Expressivity of Time Petri Nets for System Specification. 1-53 - William Ferreira, Matthew Hennessy:
A Behavioural Theory of First-Order CML. 55-107 - Elena Zucca:
From Static to Dynamic Abstract Data-Types: An Institution Transformation. 109-157 - Roberto Giacobazzi, Francesco Ranzato:
The Reduced Relative Power Operation on Abstract Domains. 159-211 - Cui Zhang, Ronald A. Olsson, Karl N. Levitt:
Formal Verification of a Programming Logic for a Distributed Programming Language. 213-235 - Pierpaolo Degano, Corrado Priami:
Non-Interleaving Semantics for Mobile Processes. 237-270 - Francesca Levi:
A Compositional µ-Calculus Proof System for Statecharts Processes. 271-310 - Peter Burmeister, Miquel Monserrat, Francesc Rosselló
, Gabriel Valiente:
Algebraic Transformation of Unary Partial Algebras II: Single-Pushout Approach. 311-362 - Manfred Schmidt-Schauß:
Decidability of Behavioural Equivalence in Unary PCF. 363-373 - K. Rustan M. Leino, Rajit Manohar:
Joining Specification Statements. 375-394 - Mingsheng Ying:
A Shorter Proof to Uniqueness of Solutions of Equations. 395-397
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-27 02:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
