Gregor von Bochmann

Available identifiers

zbMath Open von-bochmann.gregorWikidataQ28878151 ScholiaQ28878151MaRDI QIDQ455929

List of research outcomes

Publication	Date of Publication	Type
The lotos model of a fault protected system and its verification using a petri net based approach	2024-04-29	Paper
Testing for a conformance relation based on acceptance	2022-11-02	Paper
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets	2020-12-04	Paper
Deriving protocol specifications from service specifications written in LOTOS	2020-12-02	Paper
Using logic to solve the submodule construction problem	2013-06-28	Paper
Load balancing in peer-to-peer systems using a diffusive approach	2012-10-23	Paper
Some notes on the history of protocol engineering	2011-02-02	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2003	2010-05-26	Paper
Progressive Solutions to a Parallel Automata Equation	2010-05-26	Paper
A computation method for scenario studies in WDM network planning	2010-03-11	Paper
Deriving protocol specifications from service specifications written as Predicate/Transition-nets	2006-12-07	Paper
Progressive solutions to a parallel automata equation	2006-10-20	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4450992	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4437065	2003-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4422062	2003-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4412566	2003-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4801043	2003-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q2768677	2002-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4942027	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4037094	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037398	1993-05-18	Paper
Failure-equivalent transformation of transition systems to avoid internal actions	1993-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q4028641	1993-03-28	Paper
The equivalence in the DCP model	1992-06-26	Paper
On the Construction of Submodule Specifications and Communication Protocols	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3660864	1983-01-01	Paper
Hardware Specification with Temporal Logic: An Example	1982-01-01	Paper
Architecture of distributed computer systems	1979-01-01	Paper
Semantic equivalence of covering attribute grammars	1979-01-01	Paper
Compile Time Memory Allocation for Parallel Processes	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138075	1977-01-01	Paper
Semantic evaluation from left to right	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4122832	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4066588	1974-01-01	Paper

Research outcomes over time

This page was built for person: Gregor von Bochmann