pith. sign in

Marino Miculan

Identifiers

  • name variant Marino Miculan 0.60 · backfill

Papers (13)

  1. Loose Graph Simulations cs.LO · 2017 · author #2
  2. Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation cs.LO · 2017 · author #1
  3. Deciding Hedged Bisimilarity cs.CR · 2016 · author #2
  4. A Specification of Open Transactional Memory for Haskell cs.PL · 2016 · author #1
  5. Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems cs.LO · 2016 · author #2
  6. Open Transactions on Shared Memory cs.PL · 2015 · author #1
  7. Distributed execution of bigraphical reactive systems cs.DC · 2015 · author #2
  8. A CSP implementation of the bigraph embedding problem cs.LO · 2014 · author #1
  9. Behavioural equivalences for coalgebras with unobservable moves cs.LO · 2014 · author #2
  10. Structural operational semantics for non-deterministic processes with quantitative aspects cs.LO · 2014 · author #1
  11. Weak bisimulations for labelled transition systems weighted over semirings cs.LO · 2013 · author #1
  12. Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice cs.LO · 2010 · author #2
  13. A Natural Deduction style proof system for propositional $\mu$-calculus and its formalization in inductive type theories cs.LO · 1998 · author #1

Mentions

  • 1503.09097 #1 · backfill · confidence 0.70 Marino Miculan
  • 1503.02434 #2 · backfill · confidence 0.70 Marino Miculan
  • 1412.1042 #1 · backfill · confidence 0.70 Marino Miculan
  • 1411.0090 #2 · backfill · confidence 0.70 Marino Miculan
  • 1410.0893 #1 · backfill · confidence 0.70 Marino Miculan
  • 1310.4106 #1 · backfill · confidence 0.70 Marino Miculan
  • 1009.2189 #2 · backfill · confidence 0.70 Marino Miculan

Frequent Coauthors