Marino Miculan

How much space takes a number?

Menu

Skip to content
  • Home
  • Research
    • Conferences
    • Positions
    • Projects
    • Publications
    • Students
  • Teaching/Didattica
    • Reti di Calcolatori
    • Sistemi Distribuiti
    • Laboratori & Tesi
    • Scambi Erasmus+
  • News & Events
  • Downloads
    • (Complete) Ordered Families of Equivalences
    • The Erlang-Coq Synthesizer Tool (ECS)
    • THUD – Minipackage LaTeX per tesi e slide a Udine

New paper: Structural Operational Semantics for Continuous State Stochastic Transition Systems

Posted on March 12, 2015 by Marino

The paper Structural Operational Semantics for Continuous State Stochastic Transition Systems by Giorgio Bacci and myself has been published on Journal of Computer and System Sciences 81 (2015).

This entry was posted in Research. Bookmark the permalink.

Post navigation

← Esame Francescon per Teoria della Concorrenza
Lezione di Sistemi Distribuiti del 29 aprile →
Università di Udine

News & Events

  • Assenza 18-22/02/2019
  • Workshop “Code is Law” vs “Law is Code”: Il caso degli Smart Contracts
  • New paper “Constructive logical characterizations of bisimilarity for reactive probabilistic systems”

Archives

Categories

Recent Comments

  • Marino on THUD – Minipackage LaTeX per tesi e slide a Udine
  • Marino on Reti di Calcolatori
  • Marino on Reti di Calcolatori

Some pics of mine

Contact

Marino Miculan - Department of Mathematics, Computer Science and Physics, University of Udine
  • Via delle Scienze, 206 - 33100 - Udine (Italy)
  • marino.miculan@uniud.it
  • (+39) 043255-8486
  • Office location: L2.17.BC, also known as SN6. North side, Second floor, Rizzi Campus. Map

Meta

  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org
Creative Commons License 2015 Marino Miculan - Department of Mathematics, Informatics and Physics, University of Udine (Italy) | Privacy & Cookies Policy
This website DOES NOT use any profiling cookie. It uses some technical cookies for analytics and connections with social media. By continuing to browse the site you agree to our use of cookies. You can read more about our Privacy & Cookies Policy. I got it!