عنوان

Foundations of software science and computation structures

(Number (ISBN

3540672575 (softcover : alk. paper)

(Number (ISBN

9783540672579 (softcover : alk. paper)

Number

b433780

Title Proper

Foundations of software science and computation structures

General Material Designation

[Book]

Other Title Information

Third International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings /

First Statement of Responsibility

Jerzy Tiuryn (ed.).

Place of Publication, Distribution, etc.

New York :

Name of Publisher, Distributor, etc.

Springer,

Date of Publication, Distribution, etc.

c2000.

Specific Material Designation and Extent of Item

x, 390 p. :

Other Physical Details

ill. ;

Dimensions

24 cm.

Series Title

Lecture notes in computer science,

Volume Designation

1784

ISSN of Series

0302-9743 ;

Text of Note

Norm functions for probabilistic bisimulations with delays / Christel Baier, Mariëlle Stoelinga -- Constructor subtyping in the calculus of inductive constructions / Gilles Barthe, Femke van Raamsdonk -- Verifying performance equivalence for timed basic parallel processes / Beatrice Bérard, Anne Labroue, Philippe Schnoebelen -- On word rewriting systems having a rational derivation / Didier Caucal -- Proof nets and explicit substitutions / Roberto Di Cosmo, Delia Kesner, Emmanuel Polonovski -- Typing local definitions and conditional expressions with rank 2 intersection / Ferruccio Damiani -- Hierarchical graph transformation / Frank Drewes, Berthold Hoffmann, Detlef Plump -- A program refinement framework supporting reasoning about knowledge and time / Kai Engelhardt, Ron van der Meyden, Yoram Moses -- A higher-order simulation relation for system F / Jo Erskine Hannay -- Probabilistic asynchronous [pi]-calculus / Oltea Mihaela Herescu, Catuscia Palamidessi -- Constructive data refinement in typed lambda calculus / Furio Honsell ... [et al.] -- On recognizable stable trace languages / Jean-François Husson, Rémi Morin -- The state explosion problem from trace to bisimulation equivalence / François Laroussinie, Philippe Schnoebelen -- A proof system for timed automata / Huimin Lin, Wang Yi -- Categorical models for intuitionistic and linear type theory / Maria Emilia Maietti, Valeria de Paiva, Eike Ritter -- Locality and polyadicity in asynchronous name-passing calculi / Massimo Merro -- On rational graphs / Christophe Morvan -- Sequential and concurrent abstract machines for interaction nets / Jorge Sousa Pinto -- On synchronous and asynchronous mobile processes / Paola Quaglia, David Walker -- Type inference for first-order logic / Aleksy Schubert -- An algebraic foundation for adaptive programming / Peter Thiemann -- Predicate logic and tree automata with tests / Ralf Treinen -- Compositional verification in linear-time temporal logic / Yih-Kuen Tsay -- On the semantics of refinement calculi / Hongseok Yang, Uday S. Reddy -- Subtyping and typing algorithms for mobile ambients / Pascal Zimmer.

0

Text of Note

Mode of access: World Wide Web.

Title

Foundations of software science and computation structures : Third International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Title

OhioLINK electronic book center

Title

SpringerLink

Computer software, Congresses.

System analysis, Congresses.

Tiuryn, Jerzy.

FOSSACS (Conference)(3rd :2000 :, Berlin, Germany)

ETAPS (Conference)(3rd :2000 :, Berlin, Germany)

Date of Transaction

20100716094926.0

Electronic name

[Book]

Y