Search Sciweavers | Sciweavers

276 search results - page 13 / 56

» Bisimulation for quantum processes

click to vote

POLICY
2009
Springer

121views Computer Networks» more POLICY 2009»

Strong and Weak Policy Relations

14 years 3 months ago

Download rtg.cis.upenn.edu

—Access control and privacy policy relations tend to focus on decision outcomes and are very sensitive to deﬁned terms and state. Small changes or updates to a policy language ...

Michael J. May, Carl A. Gunter, Insup Lee, Steve Z...

claim paper

Read More »

click to vote

LICS
1997
IEEE

111views Automated Reasoning» more LICS 1997»

Bisimulation for Labelled Markov Processes

14 years 1 months ago

Download www.brics.dk

Richard Blute, Josee Desharnais, Abbas Edalat, Pra...

claim paper

Read More »

click to vote

CAV
1997
Springer

97views Hardware» more CAV 1997»

Weak Bisimulation for Fully Probabilistic Processes

14 years 1 months ago

Download www.inf.tu-dresden.de

Christel Baier, Holger Hermanns

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 1 months 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 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers