A tactic language for refinement of state-rich concurrent specifications

Marcel Oliveira; Frank Zeyda; Ana Cavalcanti

A tactic language for refinement of state-rich concurrent specifications

Marcel Oliveira, Frank Zeyda, Ana Cavalcanti

Computer Science

Research output: Contribution to journal › Article › peer-review

Original language	Undefined/Unknown
Pages (from-to)	792-833
Number of pages	42
Journal	Science of Computer Programming
Volume	76
Issue number	9
Publication status	Published - 1 Sept 2011

Access to Document

http://dx.doi.org/10.1016/j.scico.2010.11.012

Cite this

@article{4117ef31683541d8823a45edb03bfc13,

title = "A tactic language for refinement of state-rich concurrent specifications",

author = "Marcel Oliveira and Frank Zeyda and Ana Cavalcanti",

year = "2011",

month = sep,

day = "1",

language = "Undefined/Unknown",

volume = "76",

pages = "792--833",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

number = "9",

}

TY - JOUR

T1 - A tactic language for refinement of state-rich concurrent specifications

AU - Oliveira, Marcel

AU - Zeyda, Frank

AU - Cavalcanti, Ana

PY - 2011/9/1

Y1 - 2011/9/1

UR - http://www.scopus.com/inward/record.url?scp=79954571015&partnerID=8YFLogxK

M3 - Article

SN - 0167-6423

VL - 76

SP - 792

EP - 833

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 9

ER -

A tactic language for refinement of state-rich concurrent specifications

Access to Document

Other files and links

hiJaC: HIJAC: High-Integrity Java applications using circus

ProCLaws: Programming from Control Laws

Cite this

A tactic language for refinement of state-rich concurrent specifications

Access to Document

Other files and links

Projects

hiJaC: HIJAC: High-Integrity Java applications using circus

ProCLaws: Programming from Control Laws

Cite this