Search Sciweavers | Sciweavers

8446 search results - page 45 / 1690

» A Process Compensation Language

click to vote

ICALP
1997
Springer

84views Programming Languages» more ICALP 1997»

Bisimulation Equivalence is Decidable for One-Counter Processes

14 years 3 months ago

Download www.fi.muni.cz

Petr Jancar

claim paper

Read More »

click to vote

ICALP
1993
Springer

78views Programming Languages» more ICALP 1993»

Local Model Checking for Context-Free Processes

14 years 3 months ago

Download www.cs.helsinki.fi

Hardi Hungar, Bernhard Steffen

claim paper

Read More »

click to vote

IFIP
1993
Springer

81views Programming Languages» more IFIP 1993»

Evaluation and Derivation of Process Plans in Turning

14 years 3 months ago

Download deepblue.lib.umich.edu

Azza F. Barakat, Debasish Dutta

claim paper

Read More »

click to vote

IWOMP
2010
Springer

124views Programming Languages» more IWOMP 2010»

Topology-Aware OpenMP Process Scheduling

14 years 3 months ago

Download www.ccs.tsukuba.ac.jp

Peter Thoman, Hans Moritsch, Thomas Fahringer

claim paper

Read More »

click to vote

HASKELL
2007
ACM

110views Programming Languages» more HASKELL 2007»

Uniform boilerplate and list processing

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers