Entry Runger:1994:POS from complngs.bib

Last update: Thu Jun 20 02:00:37 MDT 2019                Valid HTML 4.0!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Runger:1994:POS,
  author =       "Gudula R{\"u}nger and Kurt Sieber",
  title =        "A process oriented semantics of the {PRAM-language
                 FORK}",
  journal =      j-COMP-LANGS,
  volume =       "20",
  number =       "4",
  pages =        "253--265",
  month =        nov,
  year =         "1994",
  CODEN =        "COLADA",
  ISSN =         "0096-0551 (print), 1873-6742 (electronic)",
  ISSN-L =       "0096-0551",
  bibdate =      "Tue Mar 25 14:04:06 MST 1997",
  bibsource =    "Compendex database;
                 http://www.math.utah.edu/pub/tex/bib/complngs.bib",
  acknowledgement = ack-nhfb,
  affiliation =  "Universit{\"a}t des Saarlandes",
  affiliationaddress = "Saarbr{\"u}cken, Ger",
  classcodes =   "C6140D (High level languages); C4210L (Formal
                 languages and computational linguistics); C4240P
                 (Parallel programming and algorithm theory)",
  classification = "721.1; 722.1; 723.1; 723.1.1",
  corpsource =   "FB 14-Informatik, Saarlandes Univ., Saarbrucken,
                 Germany",
  journal-URL =  "http://www.sciencedirect.com/science/journal/00960551",
  journalabr =   "Comput Lang",
  keywords =     "Algorithms; asynchronous execution; Asynchronous
                 execution; computational linguistics; Computational
                 linguistics; computations; Computer architecture;
                 Computer programming languages; Concurrent read
                 concurrent write (CRCW); constructs; CRCW PRAM model;
                 creation; denotational interleaving semantics;
                 Denotational semantics; dynamic process; dynamic
                 process deletion; efficient PRAM code; FORK; fork
                 (programming language); FORK parallel language; group
                 concept; high abstraction level; interleaving rules;
                 languages; parallel; parallel algorithms; Parallel
                 languages; Parallel random access machines (pram);
                 parallelism; Pascal (programming language); PASCAL-like
                 language; PRAM algorithm; process oriented semantics;
                 Process oriented semantics; program; Random access
                 storage; runtimes; scalable; Scalable shared memory
                 model; shared memory access; shared memory model;
                 shared memory systems; synchronous; synchronous
                 execution; Synchronous execution; theoretically
                 predicted; trace-based; Traces",
  treatment =    "T Theoretical or Mathematical",
}

Related entries