Andreas Grüner

From MaRDI portal
Person:843205

Available identifiers

zbMath Open gruner.andreasMaRDI QIDQ843205

List of research outcomes





PublicationDate of PublicationType
Abstract Interface Behavior of Object-Oriented Languages with Monitors2021-05-25Paper
Behavioral interface description of an object-oriented language with futures and promises2009-09-29Paper
Abstract interface behavior of object-oriented languages with monitors2009-05-08Paper
Logical Approaches to Computational Barriers2007-04-30Paper
Formal Methods for Components and Objects2006-11-01Paper

Research outcomes over time

This page was built for person: Andreas Grüner

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