Search Sciweavers | Sciweavers

1012 search results - page 39 / 203

» Process Algebra with Backtracking

click to vote

ENTCS
1998

67views more ENTCS 1998»

The Semantics of Triveni: A Process-Algebraic API for Threads + Events

13 years 7 months ago

Download webpages.cs.luc.edu

Christopher Colby, Lalita Jategaonkar, Radha Jagad...

claim paper

Read More »

click to vote

TOSEM
2002

68views more TOSEM 2002»

Architecting families of software systems with process algebras

13 years 7 months ago

Download www.sti.uniurb.it

Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiel...

claim paper

Read More »

click to vote

AICOM
2008

60views more AICOM 2008»

Algebraic and logical study of constructive processes in knowledge representation

13 years 6 months ago

Download people.cs.kuleuven.be

Joost Vennekens

claim paper

Read More »

click to vote

ACSD
2010
IEEE

216views Hardware» more ACSD 2010»

A Linear Process-Algebraic Format for Probabilistic Systems with Data

13 years 5 months ago

Download wwwhome.cs.utwente.nl

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

claim paper

Read More »

click to vote

EUSFLAT
2009

136views Fuzzy Logic» more EUSFLAT 2009»

A process Algebra Approach to Fuzzy Reasoning

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers