On the Expressivity of RoCTL*

John-Christopher Mccabe-Dansted; Tim French; Mark Reynolds; Sophie Pinchinat

inria-00555743, version 1

On the Expressivity of RoCTL*

John-Christopher Mccabe-Dansted ¹, Tim French ¹, Mark Reynolds ¹, Sophie Pinchinat ()^a^, 2

TIME (2009) 37-44

a – Université de Rennes I
1 : School of Computer Science and Software Engineering [Australia]
The University of Western Australia
2 : S4 (INRIA - IRISA)
CNRS : UMR6074 – INRIA – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1

inria-00555743, version 1
http://hal.inria.fr/inria-00555743
oai:hal.inria.fr:inria-00555743
Contributeur : Sophie Pinchinat <>
Soumis le : Vendredi 14 Janvier 2011, 12:58:39
Dernière modification le : Mardi 18 Janvier 2011, 14:50:08

Voir la fiche détaillée

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Communications avec actes</head>
<biblStruct type="inproceedings" xml:id="inria-00555743"><analytic>
<author><persName><forename>John-Christopher</forename><surname>Mccabe-Dansted</surname></persName>
<affiliation>
<orgName type="team">School of Computer Science and Software Engineering [Australia]</orgName>
<country>AU</country>
<orgName type="institution">The University of Western Australia</orgName>
</affiliation>
</author>
<author><persName><forename>Tim</forename><surname>French</surname></persName>
<affiliation>
<orgName type="team">School of Computer Science and Software Engineering [Australia]</orgName>
<country>AU</country>
<orgName type="institution">The University of Western Australia</orgName>
</affiliation>
</author>
<author><persName><forename>Mark</forename><surname>Reynolds</surname></persName>
<affiliation>
<orgName type="team">School of Computer Science and Software Engineering [Australia]</orgName>
<country>AU</country>
<orgName type="institution">The University of Western Australia</orgName>
</affiliation>
</author>
<author><persName><forename>Sophie</forename><surname>Pinchinat</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA - IRISA</orgName>
<orgName type="team">S4</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR6074</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National des Sciences Appliquées (INSA) - Rennes</orgName>
<orgName type="institution">Université de Rennes 1</orgName>
</affiliation>
</author>
<title type="main" level="a">On the Expressivity of RoCTL*</title></analytic><monogr><meeting>TIME</meeting><imprint><pubPlace><settlement>Brixen-Bressanone</settlement><country>Italie</country></pubPlace><biblScope type="publicationDate">2009-00-00</biblScope><biblScope type="pp">37-44</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00555743</idno></biblStruct>
</listBibl>
</listBibl>