Immo Grabe

From MaRDI portal
Person:444505

Available identifiers

zbMath Open grabe.immoMaRDI QIDQ444505

List of research outcomes





PublicationDate of PublicationType
Termination detection for active objects2012-08-14Paper
Automated deadlock detection in synchronized reentrant multithreaded call-graphs2010-01-28Paper
Executable interface specifications for testing asynchronous Creol components2010-01-28Paper
Behavioral interface description of an object-oriented language with futures and promises2009-09-29Paper
Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic2008-07-01Paper

Research outcomes over time

This page was built for person: Immo Grabe

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