Search Sciweavers | Sciweavers

4485 search results - page 13 / 897

» Equivalences on Observable Processes

click to vote

ICALP
1999
Springer

85views Programming Languages» more ICALP 1999»

Comparison of Process Algebra Equivalences Using Formats

14 years 26 days ago

Download www.cs.wits.ac.za

Vashti Galpin

claim paper

Read More »

click to vote

ICALP
1997
Springer

84views Programming Languages» more ICALP 1997»

Bisimulation Equivalence is Decidable for One-Counter Processes

14 years 22 days ago

Download www.fi.muni.cz

Petr Jancar

claim paper

Read More »

click to vote

CONCUR
1992
Springer

101views Distributed And Parallel Com...» more CONCUR 1992»

Bisimulation Equivalence is Decidable for all Context-Free Processes

14 years 20 days ago

Download homepages.inf.ed.ac.uk

Søren Christensen, Hans Hüttel, Colin ...

claim paper

Read More »

click to vote

SAJ
2000

56views more SAJ 2000»

A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes

13 years 8 months ago

Download www.cs.wits.ac.za

Vashti Galpin

claim paper

Read More »

click to vote

IANDC
2010

57views more IANDC 2010»

Non-interleaving bisimulation equivalences on Basic Parallel Processes

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers