Search Sciweavers | Sciweavers

30267 search results - page 160 / 6054

» Process Modelling Languages

109

click to vote

ESOP
2005
Springer

117views Programming Languages» more ESOP 2005»

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

15 years 10 months ago

Download henning.makholm.net

Henning Makholm, J. B. Wells

claim paper

Read More »

127

Voted

POPL
1999
ACM

88views Programming Languages» more POPL 1999»

Stochastic Processes as Concurrent Constraint Programs

15 years 9 months ago

Download www-cs-students.stanford.edu

Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

claim paper

Read More »

click to vote

ICALP
1999
Springer

85views Programming Languages» more ICALP 1999»

Comparison of Process Algebra Equivalences Using Formats

15 years 9 months ago

Download www.cs.wits.ac.za

Vashti Galpin

claim paper

Read More »

121

click to vote

TOOLS
1998
IEEE

87views Programming Languages» more TOOLS 1998»

Forward vs. Reverse Traversal in Path Expression Query Processing

15 years 9 months ago

Download users.monash.edu.au

David Taniar

claim paper

Read More »

116

Voted

TOOLS
1997
IEEE

84views Programming Languages» more TOOLS 1997»

Parallelization and Object-Orientation: A Database Processing Point of View

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers