Gregor von Bochmann

From MaRDI portal
Person:455929

Available identifiers

zbMath Open von-bochmann.gregorWikidataQ28878151 ScholiaQ28878151MaRDI QIDQ455929

List of research outcomes





PublicationDate of PublicationType
The lotos model of a fault protected system and its verification using a petri net based approach2024-04-29Paper
Testing for a conformance relation based on acceptance2022-11-02Paper
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets2020-12-04Paper
Deriving protocol specifications from service specifications written in LOTOS2020-12-02Paper
Using logic to solve the submodule construction problem2013-06-28Paper
Load balancing in peer-to-peer systems using a diffusive approach2012-10-23Paper
Some notes on the history of protocol engineering2011-02-02Paper
Formal Techniques for Networked and Distributed Systems - FORTE 20032010-05-26Paper
Progressive Solutions to a Parallel Automata Equation2010-05-26Paper
A computation method for scenario studies in WDM network planning2010-03-11Paper
Deriving protocol specifications from service specifications written as Predicate/Transition-nets2006-12-07Paper
Progressive solutions to a parallel automata equation2006-10-20Paper
Formal Techniques for Networked and Distributed Systems - FORTE 20052006-07-07Paper
https://portal.mardi4nfdi.de/entity/Q44509922004-02-16Paper
https://portal.mardi4nfdi.de/entity/Q44370652003-12-07Paper
https://portal.mardi4nfdi.de/entity/Q44220622003-09-03Paper
https://portal.mardi4nfdi.de/entity/Q44125662003-07-15Paper
https://portal.mardi4nfdi.de/entity/Q48010432003-04-06Paper
https://portal.mardi4nfdi.de/entity/Q27686772002-02-03Paper
https://portal.mardi4nfdi.de/entity/Q49420272000-03-19Paper
https://portal.mardi4nfdi.de/entity/Q40370941993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40373981993-05-18Paper
Failure-equivalent transformation of transition systems to avoid internal actions1993-05-16Paper
https://portal.mardi4nfdi.de/entity/Q40286411993-03-28Paper
The equivalence in the DCP model1992-06-26Paper
On the Construction of Submodule Specifications and Communication Protocols1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36608641983-01-01Paper
Hardware Specification with Temporal Logic: An Example1982-01-01Paper
Architecture of distributed computer systems1979-01-01Paper
Semantic equivalence of covering attribute grammars1979-01-01Paper
Compile Time Memory Allocation for Parallel Processes1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41380751977-01-01Paper
Semantic evaluation from left to right1976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41228321976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40665881974-01-01Paper

Research outcomes over time

This page was built for person: Gregor von Bochmann