Sciweavers

1532 search results - page 78 / 307

» An Algebraic Process Calculus

71

ACSD
2010
IEEE

216views Hardware» more ACSD 2010»

A Linear Process-Algebraic Format for Probabilistic Systems with Data

14 years 8 months ago

A Linear Process-Algebraic Format for Probabilistic Systems with Data

Download wwwhome.cs.utwente.nl

Joost-Pieter Katoen, Jaco van de Pol, Mariëll...

claim paper

Read More »

64

EUSFLAT
2009

136views Fuzzy Logic» more EUSFLAT 2009»

A process Algebra Approach to Fuzzy Reasoning

14 years 7 months ago

A process Algebra Approach to Fuzzy Reasoning

Download www.sti.uniurb.it

Liliana D'Errico, Michele Loreti

claim paper

Read More »

69

MEMICS
2010

95views Theoretical Computer Science» more MEMICS 2010»

Process Algebra for Modal Transition Systemses

14 years 4 months ago

Process Algebra for Modal Transition Systemses

Download www.fi.muni.cz

Nikola Benes, Jan Kretínský

claim paper

Read More »

77

LICS
2008
IEEE

114views Automated Reasoning» more LICS 2008»

Nonlocal Flow of Control and Kleene Algebra with Tests

15 years 4 months ago

Nonlocal Flow of Control and Kleene Algebra with Tests

Download ecommons.library.cornell.edu

Kleene algebra with tests (KAT) is an equational system for program veriﬁcation that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...

Dexter Kozen

claim paper

Read More »

90

CSL
1992
Springer

121views Automated Reasoning» more CSL 1992»

Communicating Evolving Algebras

15 years 1 months ago

Communicating Evolving Algebras

Download www.eecs.umich.edu

We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...

Paola Glavan, Dean Rosenzweig

claim paper

Read More »

« Prev « First page 78 / 307 Last » Next »