Unified mathematical framework for slicing and symmetry reduction over event structures

DOI10.1155/2014/352152MaRDI QIDQ2336364zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Xinyan Gao, Yingcai Ding, Wenbo Liu, Kaidi Zheng, Siyu Huang, Ning Zhou, Dakui Li

Publication date 19 November 2019

Published in Journal of Applied Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.1155/2014/352152

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Theorem Proving in Higher Order Logics
• scientific article; zbMATH DE number 2104628
• scientific article; zbMATH DE number 5506101
• Slicing Abstractions
• scientific article; zbMATH DE number 1796126

Cites work

• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 4208063 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 4119660 (Why is no real title available?)
• scientific article; zbMATH DE number 4182807 (Why is no real title available?)
• Algorithmic combinatorics based on slicing posets
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Bundle event structures: a revised cpo approach.
• Event structures with symmetry
• Formal Verification of Simulation Traces Using Computation Slicing
• Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30- June 3, 1988. Proceedings
• Petri nets, event structures and domains. I
• Principles of Distributed Systems
• Semantics of systems of concurrent processes. LITP Spring School on theoretical computer science, La Roche Posay, France, 23-27 April 1990. Proceedings

Cited in

(1)

• Theorem Proving in Higher Order Logics

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)