Sage Journals: Discover world-class research

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-8

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 2017

Stochastic Semantics

Symeon Bozapalidis, George Rahonis

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Persistent Stochastic Non-Interference

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

Fundamenta Informaticae

Retricted access

Research article

First published 2007-1

Stochastic Petri Box Calculus with Discrete Time

Igor V. Tarasyuk

Fundamenta Informaticae

Retricted access

Research article

First published 2014-6

The Measurable Space of Stochastic Processes

Luca Cardelli, Radu Mardare

Fundamenta Informaticae

Open access

Research article

First published 2025

Stochastic modelling of elasticity tensor fields

Sharana Kumar Shivanand, Bojana Rosić, Hermann G. Matthies

Mathematics and Mechanics of Solids

Retricted access

Research article

First published 2008-9

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

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

Fundamenta Informaticae

Retricted access

Research article

First published 2016-12-24

Bisimulation Cuts For Structuring Markov Transition Systems

Ernst-Erich Doberkat

Fundamenta Informaticae

Search results