Mohammadreza Mousavi

From MaRDI portal
Person:835033

Available identifiers

zbMath Open mousavi.mohammadrezaMaRDI QIDQ835033

List of research outcomes





PublicationDate of PublicationType
DyNetKAT: an algebra of dynamic networks2024-01-23Paper
Compositional learning for interleaving parallel automata2023-11-24Paper
https://portal.mardi4nfdi.de/entity/Q49640022021-02-24Paper
https://portal.mardi4nfdi.de/entity/Q53576922017-09-12Paper
https://portal.mardi4nfdi.de/entity/Q31916142014-10-06Paper
Modular Semantics for Transition System Specifications with Negative Premises2013-08-12Paper
Formal modeling of evolving self-adaptive systems2013-06-06Paper
Decompositional Reasoning about the History of Parallel Processes2012-06-29Paper
Symmetry and partial order reduction techniques in model checking Rebeca2010-02-05Paper
A syntactic commutativity format for SOS2009-08-27Paper
SOS formats and meta-theory: 20 years after2007-04-19Paper

Research outcomes over time

This page was built for person: Mohammadreza Mousavi

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