Search Sciweavers | Sciweavers

4485 search results - page 12 / 897

» Equivalences on Observable Processes

click to vote

ENTCS
1998

115views more ENTCS 1998»

A Testing Equivalence for Reactive Probabilistic Processes

13 years 8 months ago

Download qav.comlab.ox.ac.uk

We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...

Marta Z. Kwiatkowska, Gethin Norman

claim paper

Read More »

click to vote

ICALP
1998
Springer

110views Programming Languages» more ICALP 1998»

Deciding Bisimulation-Like Equivalences with Finite-State Processes

14 years 24 days ago

Download www.fi.muni.cz

We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...

Petr Jancar, Antonín Kucera, Richard Mayr

claim paper

Read More »

click to vote

PARLE
1987

144views Distributed And Parallel Com...» more PARLE 1987»

Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages

14 years 2 days ago

Download web.mac.com

A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...

Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop

claim paper

Read More »

click to vote

ICSOC
2007
Springer

88views Applied Computing» more ICSOC 2007»

Goal-Equivalent Secure Business Process Re-engineering

14 years 2 months ago

Download www.cs.toronto.edu

Hugo A. López, Fabio Massacci, Nicola Zanno...

claim paper

Read More »