The following pages link to Simone Tini (Q236458):
Displaying 50 items.
- Compositional semantics and behavioural equivalences for reaction systems with restriction (Q403001) (← links)
- Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
- Raiders of the lost equivalence: probabilistic branching bisimilarity (Q783681) (← links)
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- Compositional semantics and behavioral equivalences for P systems (Q924685) (← links)
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- Compositional semantics of spiking neural P systems (Q987958) (← links)
- \(\varepsilon\)-transitions in concurrent timed automata (Q1029035) (← links)
- An axiomatic semantics for the synchronous language Gentzen. (Q1400575) (← links)
- Weak bisimulation metrics in models with nondeterminism and continuous state spaces (Q1623141) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- On disjunction of literals in triggers of statecharts transitions. (Q1853160) (← links)
- A comparison of Statecharts step semantics (Q1853596) (← links)
- Rule formats for compositional non-interference properties (Q1878717) (← links)
- Timed CCP compositionally embeds Argos and Lustre (Q1882807) (← links)
- Concurrency in timed automata (Q1884910) (← links)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- How adaptive and reliable is your program? (Q2117013) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- Taylor approximation for hybrid systems (Q2461793) (← links)
- (Q2767177) (← links)
- (Q2769444) (← links)
- Transformations of timed cooperating automata (Q2775864) (← links)
- Formal models of timing attacks on web privacy (Q2841280) (← links)
- Notes on generative probabilistic bisimulation (Q2866317) (← links)
- Systolic Automata and P Systems (Q2944875) (← links)
- Probabilistic bisimulation as a congruence (Q2946567) (← links)
- Compositional Metric Reasoning with Probabilistic Process Calculi (Q2949442) (← links)
- A Function Elimination Method for Checking Satisfiability of Arithmetical Logics (Q2968852) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings (Q3067488) (← links)
- AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING (Q3076604) (← links)
- (Q3601853) (← links)
- (Q4417889) (← links)
- (Q4461959) (← links)
- (Q4499205) (← links)
- (Q4553277) (← links)
- (Q4580323) (← links)
- Modal Decomposition on Nondeterministic Probabilistic Processes (Q4608689) (← links)
- (Q4782713) (← links)
- (Q4818752) (← links)
- (Q4948014) (← links)
- (Q4992498) (← links)
- (Q4995155) (← links)
- Weak Simulation Quasimetric in a Gossip Scenario (Q5082194) (← links)
- Compositional weak metrics for group key update (Q5111289) (← links)
- CospanSpan(Graph): a Compositional Description of the Heart System (Q5114217) (← links)
- (Q5192921) (← links)
