bbisping.de - Benjamin Bisping's Research

home > domains > bbisping.de

Description: Research in Semantics of Distributed Systems

Example domain paragraphs

Research in Semantics of Distributed Systems

Behavioral equivalences are at the basis of program semantics in formal methods. But there’s a lot of such notions.

My research is about making the spectrum of behavioral equivalences easily usable through algorithms and tools.

Links to bbisping.de (1)

• keks.in mrkeks.net « Krümligste Neuigkeiten