Compositional Model Extraction for Higher-Order Concurrent Programs

Dan Ghica; AS Murawski; H Hermanns; J Palsberg

Compositional Model Extraction for Higher-Order Concurrent Programs

Dan Ghica, AS Murawski, H Hermanns, J Palsberg

Computer Science

Research output: Contribution to conference (unpublished) › Paper

18 Citations (Scopus)

Original language	English
Pages	303-317
Number of pages	15
Publication status	Published - 1 Jan 2006
Event	Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2006), Proceedings of 12th International Conference, Vienna, Austria - Duration: 1 Jan 2006 → …

Conference

Conference	Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2006), Proceedings of 12th International Conference, Vienna, Austria
Period	1/01/06 → …

Cite this

@conference{ca1275a7be25458189eab629be729575,

title = "Compositional Model Extraction for Higher-Order Concurrent Programs",

author = "Dan Ghica and AS Murawski and H Hermanns and J Palsberg",

year = "2006",

month = jan,

day = "1",

language = "English",

pages = "303--317",

note = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2006), Proceedings of 12th International Conference, Vienna, Austria ; Conference date: 01-01-2006",

}

TY - CONF

T1 - Compositional Model Extraction for Higher-Order Concurrent Programs

AU - Ghica, Dan

AU - Murawski, AS

AU - Hermanns, H

AU - Palsberg, J

PY - 2006/1/1

Y1 - 2006/1/1

M3 - Paper

SP - 303

EP - 317

T2 - Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2006), Proceedings of 12th International Conference, Vienna, Austria

Y2 - 1 January 2006

ER -