Publication details

A fully abstract semantics for synchronous and asynchronous ccp

Authors

BRIM Luboš GILBERT David JACQUET Jean-Marie KŘETÍNSKÝ Mojmír

Year of publication 1998
Type Article in Periodical
Magazine / Source Technical Report of Namur University
MU Faculty or unit

Faculty of Informatics

Citation
Field Computer hardware and software
Keywords concurrency constraint semantics
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info