Sciweavers

4353 search results - page 60 / 871

» Expressiveness of Process Algebras

95

Voted

ISSE
2008

71views Security Privacy» more ISSE 2008»

Extending statecharts with process algebra operators

15 years 3 months ago

Extending statecharts with process algebra operators

Download www.artist-embedded.org

Marc Frappier, Frédéric Gervais, R&e...

claim paper

Read More »

92

Voted

ENTCS
2007

97views more ENTCS 2007»

A Process Algebra for Reasoning About Quantum Security

15 years 3 months ago

A Process Algebra for Reasoning About Quantum Security

Download www.mscs.dal.ca

Pedro Adão, Paulo Mateus

claim paper

Read More »

109

Voted

PPL
2008

82views more PPL 2008»

Automatic Mapping of Assist Applications Using Process Algebra

15 years 3 months ago

Automatic Mapping of Assist Applications Using Process Algebra

Download graal.ens-lyon.fr

Marco Aldinucci, Anne Benoit

claim paper

Read More »

100

Voted

IANDC
2002

107views more IANDC 2002»

Simulation Preorder over Simple Process Algebras

15 years 3 months ago

Simulation Preorder over Simple Process Algebras

Download www.fi.muni.cz

Antonín Kucera, Richard Mayr

claim paper

Read More »

102

Voted

ENTCS
1998

67views more ENTCS 1998»

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

15 years 3 months ago

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

Download webpages.cs.luc.edu

Christopher Colby, Lalita Jategaonkar, Radha Jagad...

claim paper

Read More »

« Prev « First page 60 / 871 Last » Next »