BRIM, Luboš, David GILBERT, Jean-Marie JACQUET and Mojmír KŘETÍNSKÝ. A fully abstract semantics for synchronous and asynchronous ccp. Technical Report of Namur University. Namur: Namur University, 1998, vol. 1998, No 1, p. 1-48. |
Other formats:
BibTeX
LaTeX
RIS
@article{232812, author = {Brim, Luboš and Gilbert, David and Jacquet, JeanandMarie and Křetínský, Mojmír}, article_location = {Namur}, article_number = {1}, keywords = {concurrency constraint semantics}, language = {eng}, journal = {Technical Report of Namur University}, title = {A fully abstract semantics for synchronous and asynchronous ccp}, volume = {1998}, year = {1998} }
TY - JOUR ID - 232812 AU - Brim, Luboš - Gilbert, David - Jacquet, Jean-Marie - Křetínský, Mojmír PY - 1998 TI - A fully abstract semantics for synchronous and asynchronous ccp JF - Technical Report of Namur University VL - 1998 IS - 1 SP - 1 EP - 1 PB - Namur University KW - concurrency constraint semantics ER -
BRIM, Luboš, David GILBERT, Jean-Marie JACQUET and Mojmír KŘETÍNSKÝ. A fully abstract semantics for synchronous and asynchronous ccp. \textit{Technical Report of Namur University}. Namur: Namur University, 1998, vol.~1998, No~1, p.~1-48.
|