You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (16)

Journals (0)

1-10 of 16 results for probabilistic process algebra

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: A process-algebraic approach for the analysis of probabilistic noninterference 1

Retricted access

Research article

First published 2004-2-1

A process-algebraic approach for the analysis of probabilistic noninterference 1

Alessandro Aldini, Mario Bravetti, Roberto Gorrieri

Journal of Computer Security

Select article: Information Flow Testing

Retricted access

Research article

First published 2013-10

Information Flow Testing

Damas P. Gruska

Fundamenta Informaticae

Select article: Probabilistic Information Flow Security

Retricted access

Research article

First published 2008-5

Probabilistic Information Flow Security

Damas P. Gruska

Fundamenta Informaticae

Select article: Differential Privacy and Security

Retricted access

Research article

First published 2016

Differential Privacy and Security

Damas P. Gruska

Fundamenta Informaticae

Select article: Quantification of Positive and Negative Attacker's Information

Retricted access

Research article

First published 2012-11

Quantification of Positive and Negative Attacker's Information

Damas P. Gruska

Fundamenta Informaticae

Select article: Stochastic Petri Box Calculus with Discrete Time

Retricted access

Research article

First published 2007-1

Stochastic Petri Box Calculus with Discrete Time

Igor V. Tarasyuk

Fundamenta Informaticae

Select article: Calibrating the power of schedulers for probabilistic polynomial-time calculus

Retricted access

Research article

First published 2010-3-22

Calibrating the power of schedulers for probabilistic polynomial-time calculus

Sardaouna Hamadou, John Mullins

Journal of Computer Security

Select article: Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra

Retricted access

Research article

First published 2009-8

Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra

Jasen Markovski, Erik P. de Vink

Fundamenta Informaticae

Select article: Process Algebra Contexts and Security Properties

Retricted access

Research article

First published 2010-7

Process Algebra Contexts and Security Properties

Damas P. Gruska

Fundamenta Informaticae

Select article: Algebraic and logical study of constructive processes in knowledge representation

Retricted access

Research article

First published 2008-2

Algebraic and logical study of constructive processes in knowledge representation

Joost Vennekens

The European Journal on Artificial Intelligence

1
2
10 / page

Article type

Publication date

Subjects

Access