• Skip the Organizational structure panel
• Organizational structure

  On selecting a constituent part of MU the "Overview of publishing activities" page will be displayed with information relevant to the selected constituent part. The "Overview of publishing activities" page is not available for non-activated items.

  Masaryk University

  • Faculties
  • Law
  • Medicine
  • Science
  • Arts
  • Education
  • Economics
  • Informatics
  • Social Studies
  • Sports Studies

  • Institutes
  • Computer Science
  • CEITEC MU
  • Politica
  • Specialized Units
  • Hostels & Canteens
  • University Press
  • Telč Centre
  • UCB Management

  • Rector`s Office
  • Rectorate
  • Other Units
  • Archive
  • Language Centre
  • International Studies
  • Disabled Students
  • Technology Transfer
  • Biostatistics
  • Mendel Museum
  • CERIT
  • Civic Education
  • Project Team CEITEC

   

Publication details

A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming

Basic information
Original title:	A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming
Authors:	Luboš Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Křetínský

Further information
Citation:	BRIM, Luboš - JACQUET, Jean-Marie - GILBERT, David - KŘETÍNSKÝ, Mojmír. A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming. FI MU Report Series, Brno, FI MU. 1999, vol. 1999, no. 08, pp. 1-62.
Original language:	English
Field:	Computer hardware and software
WWW:	http://www.fi.muni.cz/informatics/reports/
Type:	Article in Periodical
Keywords:	concurrent constraint programming; semantics; synchronny; concurrency

Related projects:

• Algorithmic Verification Boundaries for Infinite-State Systems
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing