J. Magee

Available identifiers

zbMath Open magee.jeffMaRDI QIDQ595573

List of research outcomes

Publication	Date of Publication	Type
Implied Scenario Detection in the Presence of Behaviour Constraints	2013-07-24	Paper
Translating FSP into LOTOS and networks of automata	2010-12-17	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/Q4417967	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4240122	1999-05-03	Paper
The Conic toolkit for building distributed systems	1987-01-01	Paper
A software architecture for distributed computer control systems	1984-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: J. Magee