Sage Journals: Discover world-class research

1-10 of 13 results for Stochastic Process Algebra

Sort by:

Relevance

Select allExport selected citations

Sort by:

Relevance

Retricted access

Research article

First published 2004-06

A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment

P. Lecca, C. Priami, P. Quaglia [...]

SIMULATION

Retricted access

Research article

First published 2009

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

Jasen Markovski, Erik P. de Vink

Fundamenta Informaticae

Retricted access

Research article

First published 2011-12

Path-based calculation of MTTFF,MTTFR,and asymptotic unavailability with the stochastic process algebra tool CASPA †

J Schuster, M Siegle

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2014

The Measurable Space of Stochastic Processes

Luca Cardelli, Radu Mardare

Fundamenta Informaticae

Retricted access

Research article

First published 2021-06

Persistent Stochastic Non-Interference

Jane Hillston, Andrea Marin, Carla Piazza [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2007

Stochastic Petri Box Calculus with Discrete Time

Igor V. Tarasyuk

Fundamenta Informaticae

Retricted access

Research article

First published 2008

sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions

Hermenegilda Macià, Valentín Valero, Fernando Cuartero [...]

Fundamenta Informaticae

Open access

Research article

First published 2017-4

Algebraic-logical meta-model based approach for scheduling manufacturing problem with defects removal

Edyta Kucharska, Katarzyna Grobler-Dębska, Krzysztof Rączka

Advances in Mechanical Engineering

Retricted access

Research article

First published 1975-08

A stochastic method for the solution of the diffusion equation

Stéphane Swillens

SIMULATION

Retricted access

Research article

First published 2021-06

Parameter Identifiability for a Profile Mixture Model of Protein Evolution

Samaneh Yourdkhani, Elizabeth S. Allman, John A. Rhodes

Journal of Computational Biology

Search results