The following pages link to Michele Loreti (Q384932):
Displaying 45 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Model checking mobile stochastic logic (Q995465) (← links)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- Book review of: D. Draheim, Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics. (Q2050098) (← links)
- How adaptive and reliable is your program? (Q2117013) (← links)
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities (Q2253178) (← links)
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Q2257984) (← links)
- A calculus for collective-adaptive systems and its behavioural theory (Q2272994) (← links)
- Fluid approximation of broadcasting systems (Q2306023) (← links)
- (Q2767185) (← links)
- \textsf{MarCaSPiS}: a Markovian extension of a calculus for services (Q2810685) (← links)
- Spatial Logic and Spatial Model Checking for Closure Spaces (Q2822664) (← links)
- On the Power of Attribute-Based Communication (Q2827459) (← links)
- On-the-fly Fast Mean-Field Model-Checking (Q2830041) (← links)
- Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations (Q2830042) (← links)
- Multi labelled transition systems: a semantic framework for nominal calculi (Q2863915) (← links)
- Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (Q2892771) (← links)
- Model Checking Spatial Logics for Closure Spaces (Q2974786) (← links)
- (Q2980978) (← links)
- Specifying and Verifying Properties of Space (Q3190163) (← links)
- (Q4553288) (← links)
- (Q4738174) (← links)
- Hyperformulae, Parallel Deductions and Intersection Types (Q4916178) (← links)
- An Experimental Spatio-Temporal Model Checker (Q4988650) (← links)
- (Q4992526) (← links)
- (Q5028457) (← links)
- FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation (Q5047045) (← links)
- Programming and Verifying Component Ensembles (Q5170744) (← links)
- Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems (Q5194934) (← links)
- (Q5216078) (← links)
- A modal logic for mobile agents (Q5277692) (← links)
- Rate-Based Transition Systems for Stochastic Process Calculi (Q5321675) (← links)
- Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (Q5404482) (← links)
- A uniform definition of stochastic process calculi (Q5419173) (← links)
- Multiple-Labelled Transition Systems for nominal calculi and their logics (Q5458061) (← links)
- CaSPiS: a calculus of sessions, pipelines and services (Q5740635) (← links)
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems (Q5897114) (← links)
- Formal Methods for Components and Objects (Q5897447) (← links)
- A framework to measure the robustness of programs in the unpredictable environment (Q6135769) (← links)
- A Spatial Logic for Simplicial Models (Q6135777) (← links)
- A logical framework for reasoning about local and global properties of collective systems (Q6160774) (← links)
- Implementing a CTL model checker with \(\mu \mathcal{G}\), a language for programming graph neural networks (Q6535461) (← links)
- Analysis of spatio-temporal properties of stochastic systems using TSTL (Q6600061) (← links)
- Replicated computations results (RCR) report for ``Statistical abstraction for multi-scale spatio-temporal systems'' (Q6600064) (← links)
- Robustness for biochemical networks: step-by-step approach (Q6646450) (← links)
