Matias David Lee

From MaRDI portal
Person:2093148

Available identifiers

zbMath Open lee.matias-davidMaRDI QIDQ2093148

List of research outcomes





PublicationDate of PublicationType
Bisimilarity of open terms in stream GSOS2022-11-04Paper
https://portal.mardi4nfdi.de/entity/Q50153592021-12-07Paper
https://portal.mardi4nfdi.de/entity/Q50138702021-12-03Paper
https://portal.mardi4nfdi.de/entity/Q49862632021-04-27Paper
A Petri Net Based Modeling of Active Objects and Futures2018-05-24Paper
Logical characterization of bisimulation for transition relations over probability distributions with internal actions2018-03-21Paper
Input/Output Stochastic Automata2018-02-16Paper
A general SOS theory for the specification of probabilistic transition systems2016-07-07Paper
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules2014-04-16Paper
Probabilistic transition system specification: congruence and full abstraction of bisimulation2012-06-22Paper

Research outcomes over time

This page was built for person: Matias David Lee

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2093148&oldid=6727327"
Powered by MediaWiki