rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Foundations of software science and computation structures
    sub title: 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
  name:
    name part: FOSSACS (Conference) 2000 : Berlin, Germany)
    role:
      role term: creator
  name:
    name part: Tiuryn, Jerzy.
  name:
    name part: ETAPS (Conference) 2000 : Berlin, Germany)
  type of resource: text
  genre: conference publication
  origin info:
    place:
      place term: gw
    date issued: 2000
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: x, 390 pages : illustrations ; 24 cm.
  table of contents: 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 sem…
  note: Jerzy Tiuryn (ed.).
  subject:
    topic: Computer software
    genre: Congresses
  subject:
    topic: System analysis
    genre: Congresses
  classification: QA76.751. F67 2000
  classification: 005.1
  related item:
    title info:
      title: Lecture notes in computer science. 1784
  identifier: 3540672575 (softcover : alk. paper)
  identifier: 00029646
  record info:
    record content source: DLC
    record creation date: 000309
    record change date: 20151022055046.0
    record identifier: in00001546824