Parallel programming in maude

José Meseguer, Timothy Winkler

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationResearch Directions in High-Level Parallel Programming Languages, Proceedings
EditorsJean Pierre Banatre, Daniel Le Metayer
PublisherSpringer-Verlag
Pages253-293
Number of pages41
ISBN (Print)9783540551607
StatePublished - Jan 1 1992
EventWorkshop on Research Directions in High-Level Parallel Programming Languages, 1991 - Mont Saint-Michel, France
Duration: Jun 17 1991Jun 19 1991

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume574 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherWorkshop on Research Directions in High-Level Parallel Programming Languages, 1991
CountryFrance
CityMont Saint-Michel
Period6/17/916/19/91

Fingerprint

Maude
Parallel programming
Parallel Programming

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Meseguer, J., & Winkler, T. (1992). Parallel programming in maude. In J. P. Banatre, & D. Le Metayer (Eds.), Research Directions in High-Level Parallel Programming Languages, Proceedings (pp. 253-293). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 574 LNCS). Springer-Verlag.

Parallel programming in maude. / Meseguer, José; Winkler, Timothy.

Research Directions in High-Level Parallel Programming Languages, Proceedings. ed. / Jean Pierre Banatre; Daniel Le Metayer. Springer-Verlag, 1992. p. 253-293 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 574 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Meseguer, J & Winkler, T 1992, Parallel programming in maude. in JP Banatre & D Le Metayer (eds), Research Directions in High-Level Parallel Programming Languages, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 574 LNCS, Springer-Verlag, pp. 253-293, Workshop on Research Directions in High-Level Parallel Programming Languages, 1991, Mont Saint-Michel, France, 6/17/91.
Meseguer J, Winkler T. Parallel programming in maude. In Banatre JP, Le Metayer D, editors, Research Directions in High-Level Parallel Programming Languages, Proceedings. Springer-Verlag. 1992. p. 253-293. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Meseguer, José ; Winkler, Timothy. / Parallel programming in maude. Research Directions in High-Level Parallel Programming Languages, Proceedings. editor / Jean Pierre Banatre ; Daniel Le Metayer. Springer-Verlag, 1992. pp. 253-293 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{de8f5f025cb747df9dff04eaca6ebc71,
title = "Parallel programming in maude",
author = "Jos{\'e} Meseguer and Timothy Winkler",
year = "1992",
month = "1",
day = "1",
language = "English (US)",
isbn = "9783540551607",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "253--293",
editor = "Banatre, {Jean Pierre} and {Le Metayer}, Daniel",
booktitle = "Research Directions in High-Level Parallel Programming Languages, Proceedings",

}

TY - GEN

T1 - Parallel programming in maude

AU - Meseguer, José

AU - Winkler, Timothy

PY - 1992/1/1

Y1 - 1992/1/1

UR - http://www.scopus.com/inward/record.url?scp=84916529677&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84916529677&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84916529677

SN - 9783540551607

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 253

EP - 293

BT - Research Directions in High-Level Parallel Programming Languages, Proceedings

A2 - Banatre, Jean Pierre

A2 - Le Metayer, Daniel

PB - Springer-Verlag

ER -