Paolo Baldan et al.: History Preserving Bisimulation for Contextual Nets. (1999)conf/wadt/BaldanCM9910.1007/978-3-540-44616-3_17History Preserving Bisimulation for Contextual Nets.3Paolo Baldan1Andrea Corradini 00012Ugo Montanari3291-310WADTWADT19992000provenance information for RDF data of dblp record 'conf/wadt/BaldanCM99'2020-04-04T17:15:23+0200