Building Bridges Between Sets of Partial Orders

DOI10.1007/978-3-319-15579-1_11zbMath1451.68193OpenAlexW132066225MaRDI QIDQ2799169

Andrey Mokhov, Hernán Ponce de León

Publication date: 8 April 2016

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01060449v5/file/lata2015.pdf

Mathematics Subject Classification ID

Partial orders, general (06A06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Compact and efficiently verifiable models for concurrent systems ⋮ Building Bridges Between Sets of Partial Orders

Cites Work

• Unnamed Item
• Unnamed Item
• Petri nets, event structures and domains. I
• Building Bridges Between Sets of Partial Orders
• Synthesis of Processor Instruction Sets from High-Level ISA Specifications
• Conditional Partial Order Graphs: Model, Synthesis, and Application

This page was built for publication: Building Bridges Between Sets of Partial Orders