Unique parallel decomposition in branching and weak bisimulation semantics

Theoretical Computer Science ◽

10.1016/j.tcs.2015.10.013 ◽

2016 ◽

Vol 612 ◽

pp. 29-44 ◽

Author(s):

Bas Luttik

Keyword(s):

Parallel Decomposition ◽

Weak Bisimulation

Download Full-text

Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics

Lecture Notes in Computer Science - Theoretical Computer Science ◽

10.1007/978-3-642-33475-7_18 ◽

2012 ◽

pp. 250-264 ◽

Author(s):

Bas Luttik

Keyword(s):

Parallel Decomposition ◽

Weak Bisimulation

Download Full-text

Parallel decomposition of multipliers modulo (2/sup n/+or-1)

Proceedings 1988 IEEE International Conference on Computer Design: VLSI ◽

10.1109/iccd.1988.25751 ◽

2003 ◽

Author(s):

A. Skavantzos ◽

F.J. Taylor

Keyword(s):

Parallel Decomposition

Download Full-text

A Perturbed Parallel Decomposition Method for a Class of Nonsmooth Convex Minimization Problems

SIAM Journal on Control and Optimization ◽

10.1137/0329045 ◽

1991 ◽

Vol 29 (4) ◽

pp. 829-847 ◽

Author(s):

Khalil Mouallif ◽

Van Hien Nguyen ◽

Jean-Jacques Strodiot

Keyword(s):

Decomposition Method ◽

Convex Minimization ◽

Minimization Problems ◽

Parallel Decomposition ◽

Convex Minimization Problems ◽

Nonsmooth Convex Minimization

Download Full-text

Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications

Discrete Event Dynamic Systems ◽

10.1007/s10626-021-00355-z ◽

2021 ◽

Author(s):

Huanfei Zheng ◽

Yue Wang

Keyword(s):

Motion Planning ◽

Temporal Logic ◽

Parallel Decomposition ◽

Download Full-text

Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-49059-0_21 ◽

1999 ◽

pp. 300-314 ◽

Author(s):

Zhoujun Li ◽

Huowang Chen

Keyword(s):

Weak Bisimulation

Download Full-text

The parallel decomposition of linear programs

10.2172/5291579 ◽

1989 ◽

Author(s):

R. Entriken

Keyword(s):

Linear Programs ◽

Parallel Decomposition

Download Full-text

Weak Bisimulation Up to Elaboration

CONCUR 2006 – Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/11817949_26 ◽

2006 ◽

pp. 390-405 ◽

Author(s):

Damien Pous

Keyword(s):

Weak Bisimulation

Download Full-text

Property-Preserving Parallel Decomposition

Lecture Notes in Computer Science - Models, Algorithms, Logics and Tools ◽

10.1007/978-3-319-63121-9_7 ◽

2017 ◽

pp. 125-145 ◽

Author(s):

Bernhard Steffen ◽

Marc Jasper

Keyword(s):

Parallel Decomposition

Download Full-text

A theory of weak bisimulation for core CML

ACM SIGPLAN Notices ◽

10.1145/232629.232649 ◽

1996 ◽

Vol 31 (6) ◽

pp. 201-212 ◽

Author(s):

William Ferreira ◽

Matthew Hennessy ◽

Alan Jeffrey

Keyword(s):

Weak Bisimulation

Download Full-text

A class of parallel decomposition-type relaxation methods for large sparse systems of linear equations

Linear Algebra and its Applications ◽

10.1016/s0024-3795(98)10093-9 ◽

1998 ◽

Vol 282 (1-3) ◽

pp. 1-24 ◽

Author(s):

Zhong-Zhi Bai

Keyword(s):

Linear Equations ◽

Relaxation Methods ◽

Parallel Decomposition ◽

Systems Of Linear Equations ◽

Sparse Systems ◽

Large Sparse Systems

Download Full-text