The following pages link to Marino Miculan (Q418840):
Displaying 45 items.
- Measurable stochastics for Brane calculus (Q418841) (← links)
- Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377) (← links)
- About permutation algebras, (pre)sheaves and named sets (Q853745) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Encoding modal logics in logical frameworks (Q1577344) (← links)
- (Q1589652) (redirect page) (← links)
- \(\pi\)-calculus in (Co)inductive-type theory (Q1589654) (← links)
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
- On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions (Q1854404) (← links)
- A calculus for attribute-based memory updates (Q2119988) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- Finding a Forest in a Tree (Q2811922) (← links)
- Developing (meta)theory of \(\lambda\)-calculus in the theory of contexts (Q2841233) (← links)
- The theory of contexts for first order and higher order abstract syntax (Q2841274) (← links)
- Comparing higher-order encodings in logical frameworks and tile logic (Q2841275) (← links)
- Ambient calculus and its logic in the calculus of inductive constructions (Q2844811) (← links)
- Some characterization results for permutation algebras (Q2847782) (← links)
- Modeling fresh names in the {\(\pi\)}-calculus using abstractions (Q2847805) (← links)
- Undecidability of model checking in brane logic (Q2864500) (← links)
- An algebra for directed bigraphs (Q2870313) (← links)
- DBtk: A Toolkit for Directed Bigraphs (Q2888502) (← links)
- Structural Operational Semantics for Continuous State Probabilistic Processes (Q2914677) (← links)
- Synthesis of Distributed Mobile Programs Using Monadic Types in Coq (Q2914742) (← links)
- (Q3408131) (← links)
- Implementing Spi Calculus Using Nominal Techniques (Q3507444) (← links)
- Reactive Systems over Directed Bigraphs (Q3525650) (← links)
- (Q4435467) (← links)
- (Q4535076) (← links)
- A natural deduction approach to dynamic logic (Q4647578) (← links)
- (Q4938644) (← links)
- Computing Embeddings of Directed Bigraphs (Q5100725) (← links)
- A Model of Countable Nondeterminism in Guarded Type Theory (Q5170811) (← links)
- Directed Bigraphs (Q5262934) (← links)
- Foundations of Software Science and Computation Structures (Q5308447) (← links)
- A Categorical Model of the Fusion Calculus (Q5415643) (← links)
- Consistency of the theory of contexts (Q5472313) (← links)
- Foundations of Software Science and Computational Structures (Q5705871) (← links)
- AbU: a calculus for distributed event-driven programming with attribute-based interaction (Q6038690) (← links)
- On the security and safety of AbU systems (Q6045050) (← links)
- (Q6061671) (← links)
- Gardening with the PythiaA model of continuity in a dependent setting (Q6124944) (← links)
- Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems (Q6129705) (← links)
- A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity (Q6199404) (← links)
- On The Axioms Of $\mathcal{M},\mathcal{N}$-Adhesive Categories (Q6518524) (← links)
