%0 Thesis %1 phd/dnb/Baldamus98 %A Baldamus, Michael %D 1998 %K dblp %T Semantics and logic of higher order processes: characterizing late context bisimulation.

@phdthesis{phd/dnb/Baldamus98, added-at = {2021-07-17T00:00:00.000+0200}, author = {Baldamus, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2dd6a6279c6e1fcd22c75d35b2b74ed15/dblp}, ee = {https://d-nb.info/955819733}, interhash = {5710157585b149cdf6d9a163c4e1d1e9}, intrahash = {dd6a6279c6e1fcd22c75d35b2b74ed15}, keywords = {dblp}, school = {Technical University of Berlin, Germany}, timestamp = {2024-04-09T08:34:13.000+0200}, title = {Semantics and logic of higher order processes: characterizing late context bisimulation.}, year = 1998 }