Jeff Kramer

Available identifiers

Publication	Date of Publication	Type
Implied scenario detection in the presence of behaviour constraints	2013-07-24	Paper
Distribution of Modal Transition Systems	2012-11-08	Paper
An inductive approach for modal transition system refinement	2012-08-29	Paper
Translating FSP into LOTOS and networks of automata	2010-12-17	Paper
Deriving non-zeno behaviour models from goal models using ILP	2010-05-28	Paper
Translating FSP into LOTOS and Networks of Automata	2009-03-06	Paper
Communicating Sequential Processes. The First 25 Years	2005-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4809153	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4417967	2003-07-30	Paper
An approach for recovering distributed system architectures	2002-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4240122	1999-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q3992841	1993-01-23	Paper
The Conic toolkit for building distributed systems	1987-01-01	Paper
A software architecture for distributed computer control systems	1984-01-01	Paper
Invariants in the application-oriented specification of control systems	1982-01-01	Paper
An exercise in program design using SIMULA class invariants	1978-01-01	Paper

This page was built for person: Jeff Kramer