History Preserving Bisimulation for Contextual Nets

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-44616-3_17
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Algebraic Theories for Contextual Pre-Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Non-Atomic Transition Firing in Contextual Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Preserving Partial Order Runs in Parametric Time Petri Nets

2015English

A Bisimulation for Dynamic Sealing

ACM SIGPLAN Notices
2004English

Weak Bisimulation for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Neighbourhood Contingency Bisimulation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Preserving History for Effective Urban Planning |Jg| in the Globalizing World

Global Journal of Archaeology & Anthropology
2017English

New Bisimulation Semantics for Distributed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy