The following pages link to Gregor von Bochmann (Q455929):
Displaying 36 items.
- Load balancing in peer-to-peer systems using a diffusive approach (Q455930) (← links)
- (Q621038) (redirect page) (← links)
- Some notes on the history of protocol engineering (Q621041) (← links)
- Deriving protocol specifications from service specifications written as Predicate/Transition-nets (Q856741) (← links)
- The equivalence in the DCP model (Q1177152) (← links)
- Failure-equivalent transformation of transition systems to avoid internal actions (Q1209375) (← links)
- Architecture of distributed computer systems (Q1259896) (← links)
- (Q2377375) (redirect page) (← links)
- Using logic to solve the submodule construction problem (Q2377376) (← links)
- Progressive solutions to a parallel automata equation (Q2508960) (← links)
- (Q2768677) (← links)
- Progressive Solutions to a Parallel Automata Equation (Q3564943) (← links)
- (Q3660864) (← links)
- Semantic equivalence of covering attribute grammars (Q3862455) (← links)
- Hardware Specification with Temporal Logic: An Example (Q3934310) (← links)
- On the Construction of Submodule Specifications and Communication Protocols (Q3964002) (← links)
- (Q4028641) (← links)
- (Q4037094) (← links)
- (Q4037398) (← links)
- (Q4066588) (← links)
- Semantic evaluation from left to right (Q4079031) (← links)
- (Q4122832) (← links)
- (Q4138075) (← links)
- Compile Time Memory Allocation for Parallel Processes (Q4174225) (← links)
- (Q4412566) (← links)
- (Q4422062) (← links)
- (Q4437065) (← links)
- (Q4450992) (← links)
- (Q4801043) (← links)
- (Q4942027) (← links)
- Testing for a conformance relation based on acceptance (Q5044759) (← links)
- Deriving protocol specifications from service specifications written in LOTOS (Q5137326) (← links)
- Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets (Q5138481) (← links)
- A computation method for scenario studies in WDM network planning (Q5189846) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479171) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900960) (← links)
