Applying game semantics to compositional software modeling and verification

S Abramsky; Dan Ghica; AS Murawski; C-HL Ong; K Jensen; A Podelski

Applying game semantics to compositional software modeling and verification

S Abramsky, Dan Ghica, AS Murawski, C-HL Ong, K Jensen, A Podelski

Computer Science

Research output: Contribution to conference (unpublished) › Paper

44 Citations (Scopus)

Original language	English
Pages	421-435
Number of pages	15
Publication status	Published - 1 Jan 2004
Event	Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference (TACAS 2004). Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2004) - Duration: 1 Jan 2004 → …

Conference

Conference	Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference (TACAS 2004). Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2004)
Period	1/01/04 → …

Cite this

Abramsky, S., Ghica, D., Murawski, AS., Ong, C-HL., Jensen, K., & Podelski, A. (2004). Applying game semantics to compositional software modeling and verification. 421-435. Paper presented at Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference (TACAS 2004). Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2004).

@conference{3aa8538bd9d4463cbe4902d172e2fa35,

title = "Applying game semantics to compositional software modeling and verification",

author = "S Abramsky and Dan Ghica and AS Murawski and C-HL Ong and K Jensen and A Podelski",

year = "2004",

month = jan,

day = "1",

language = "English",

pages = "421--435",

note = "Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference (TACAS 2004). Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2004) ; Conference date: 01-01-2004",

}

Abramsky, S, Ghica, D, Murawski, AS, Ong, C-HL, Jensen, K & Podelski, A 2004, 'Applying game semantics to compositional software modeling and verification', Paper presented at Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference (TACAS 2004). Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2004), 1/01/04 pp. 421-435.

Applying game semantics to compositional software modeling and verification. / Abramsky, S; Ghica, Dan; Murawski, AS et al.
2004. 421-435 Paper presented at Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference (TACAS 2004). Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2004).

Research output: Contribution to conference (unpublished) › Paper

TY - CONF

T1 - Applying game semantics to compositional software modeling and verification

AU - Abramsky, S

AU - Ghica, Dan

AU - Murawski, AS

AU - Ong, C-HL

AU - Jensen, K

AU - Podelski, A

PY - 2004/1/1

Y1 - 2004/1/1

M3 - Paper

SP - 421

EP - 435

T2 - Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference (TACAS 2004). Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2004)

Y2 - 1 January 2004

ER -