Unified mathematical framework for slicing and symmetry reduction over event structures
From MaRDI portal
Publication:2336364
DOI10.1155/2014/352152zbMATH Open1442.68141DBLPjournals/jam/GaoDLZHZL14OpenAlexW2106560469WikidataQ59051048 ScholiaQ59051048MaRDI QIDQ2336364FDOQ2336364
Wenbo Liu, Xinyan Gao, Kaidi Zheng, Siyu Huang, Ning Zhou, Dakui Li, Yingcai Ding
Publication date: 19 November 2019
Published in: Journal of Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1155/2014/352152
Recommendations
Cites Work
- Petri nets, event structures and domains. I
- Event structures with symmetry
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Title not available (Why is that?)
- Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30- June 3, 1988. Proceedings
- Semantics of systems of concurrent processes. LITP Spring School on theoretical computer science, La Roche Posay, France, 23-27 April 1990. Proceedings
- Algorithmic combinatorics based on slicing posets
- Principles of Distributed Systems
- Formal Verification of Simulation Traces Using Computation Slicing
- Title not available (Why is that?)
- Bundle event structures: a revised cpo approach.
Cited In (1)
This page was built for publication: Unified mathematical framework for slicing and symmetry reduction over event structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2336364)
