Sciweavers

6274 search results - page 54 / 1255

» Proofs, Programs, Processes

58

ICALP
1999
Springer

85views Programming Languages» more ICALP 1999»

Comparison of Process Algebra Equivalences Using Formats

15 years 4 months ago

Comparison of Process Algebra Equivalences Using Formats

Download www.cs.wits.ac.za

Vashti Galpin

claim paper

Read More »

74

TOOLS
1998
IEEE

87views Programming Languages» more TOOLS 1998»

Forward vs. Reverse Traversal in Path Expression Query Processing

15 years 4 months ago

Forward vs. Reverse Traversal in Path Expression Query Processing

Download users.monash.edu.au

David Taniar

claim paper

Read More »

78

TOOLS
1997
IEEE

84views Programming Languages» more TOOLS 1997»

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

15 years 4 months ago

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

Download users.monash.edu.au

David Taniar, J. Wenny Rahayu

claim paper

Read More »

66

ICALP
1997
Springer

84views Programming Languages» more ICALP 1997»

Bisimulation Equivalence is Decidable for One-Counter Processes

15 years 4 months ago

Bisimulation Equivalence is Decidable for One-Counter Processes

Download www.fi.muni.cz

Petr Jancar

claim paper

Read More »

73

ICALP
1993
Springer

78views Programming Languages» more ICALP 1993»

Local Model Checking for Context-Free Processes

15 years 4 months ago

Local Model Checking for Context-Free Processes

Download www.cs.helsinki.fi

Hardi Hungar, Bernhard Steffen

claim paper

Read More »

« Prev « First page 54 / 1255 Last » Next »