Revision history for entry Benthem, Johan Van (1998). "Program Constructions That Are Safe for Bisimulation" [BENPCT]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-10-30T02:35:30updateSystem / admin update -