Matias David Lee

MaRDI QIDQ2093148zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Bisimilarity of open terms in stream GSOS (available as arXiv preprint)	2022-11-04	Paper
Unique parallel decomposition for the \(\pi\)-calculus	2021-12-07	Paper
Unique parallel decomposition for the \(\pi\)-calculus (available as arXiv preprint)	2021-12-07	Paper
SOS rule formats for convex and abstract probabilistic bisimulations	2021-12-03	Paper
SOS rule formats for convex and abstract probabilistic bisimulations (available as arXiv preprint)	2021-12-03	Paper
Tree rules in probabilistic transition system specifications with negative and quantitative premises	2021-04-27	Paper
Tree rules in probabilistic transition system specifications with negative and quantitative premises (available as arXiv preprint)	2021-04-27	Paper
A Petri Net Based Modeling of Active Objects and Futures Fundamenta Informaticae	2018-05-24	Paper
Logical characterization of bisimulation for transition relations over probability distributions with internal actions	2018-03-21	Paper
Input/output stochastic automata -- compositionality and determinism Lecture Notes in Computer Science	2018-02-16	Paper
A general SOS theory for the specification of probabilistic transition systems Information and Computation	2016-07-07	Paper
Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules Lecture Notes in Computer Science	2014-04-16	Paper
Probabilistic transition system specification: congruence and full abstraction of bisimulation Foundations of Software Science and Computational Structures	2012-06-22	Paper

Research outcomes over time

This page was built for person: Matias David Lee