A state space distribution policy based on abstract interpretation

S.M. Orzan; J.C. Pol, van de; M.A. Valero Espada

doi:10.1016/j.entcs.2004.10.017

A state space distribution policy based on abstract interpretation

S.M. Orzan
, J.C. Pol, van de
, M.A. Valero Espada

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

12 Citations (Scopus)

Original language	English
Title of host publication	Proceedings 3rd International Workshop on Parallel and Distributed Methods in Verification (PDMC '04, London, UK, September 4, 2004)
Editors	L. Brim, M. Leucker
Pages	35-45
DOIs	https://doi.org/10.1016/j.entcs.2004.10.017
Publication status	Published - 2005

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	128(3)
ISSN (Print)	1571-0061

Access to Document

10.1016/j.entcs.2004.10.017

Cite this

Orzan, S. M., Pol, van de, J. C., & Valero Espada, M. A. (2005). A state space distribution policy based on abstract interpretation. In L. Brim, & M. Leucker (Eds.), Proceedings 3rd International Workshop on Parallel and Distributed Methods in Verification (PDMC '04, London, UK, September 4, 2004) (pp. 35-45). (Electronic Notes in Theoretical Computer Science; Vol. 128(3)). https://doi.org/10.1016/j.entcs.2004.10.017

@inproceedings{8f021422291f478894502eefa845b439,

title = "A state space distribution policy based on abstract interpretation",

author = "S.M. Orzan and \{Pol, van de\}, J.C. and \{Valero Espada\}, M.A.",

year = "2005",

doi = "10.1016/j.entcs.2004.10.017",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "35--45",

editor = "L. Brim and M. Leucker",

booktitle = "Proceedings 3rd International Workshop on Parallel and Distributed Methods in Verification (PDMC '04, London, UK, September 4, 2004)",

}

Orzan, SM, Pol, van de, JC & Valero Espada, MA 2005, A state space distribution policy based on abstract interpretation. in L Brim & M Leucker (eds), Proceedings 3rd International Workshop on Parallel and Distributed Methods in Verification (PDMC '04, London, UK, September 4, 2004). Electronic Notes in Theoretical Computer Science, vol. 128(3), pp. 35-45. https://doi.org/10.1016/j.entcs.2004.10.017

A state space distribution policy based on abstract interpretation. / Orzan, S.M.; Pol, van de, J.C.; Valero Espada, M.A.
Proceedings 3rd International Workshop on Parallel and Distributed Methods in Verification (PDMC '04, London, UK, September 4, 2004). ed. / L. Brim; M. Leucker. 2005. p. 35-45 (Electronic Notes in Theoretical Computer Science; Vol. 128(3)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A state space distribution policy based on abstract interpretation

AU - Orzan, S.M.

AU - Pol, van de, J.C.

AU - Valero Espada, M.A.

PY - 2005

Y1 - 2005

U2 - 10.1016/j.entcs.2004.10.017

DO - 10.1016/j.entcs.2004.10.017

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 35

EP - 45

BT - Proceedings 3rd International Workshop on Parallel and Distributed Methods in Verification (PDMC '04, London, UK, September 4, 2004)

A2 - Brim, L.

A2 - Leucker, M.

ER -

Orzan SM, Pol, van de JC, Valero Espada MA. A state space distribution policy based on abstract interpretation. In Brim L, Leucker M, editors, Proceedings 3rd International Workshop on Parallel and Distributed Methods in Verification (PDMC '04, London, UK, September 4, 2004). 2005. p. 35-45. (Electronic Notes in Theoretical Computer Science). doi: 10.1016/j.entcs.2004.10.017