CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
2 research outputs found
Superposition: composition vs refinement of non-deterministic, action-based systems
Author
Ant�nia Lopes
Jos� Luiz Fiadeiro
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
Full text link
Crossref
Selected papers from SBLP 2007:The 11th brazilian symposium on programming languages J.UCS special issue
Author
Barbosa Luis Soares
Benton Nick
+42 more
Bigonha Mariza A.S.
Bigonha Roberto S.
Borba Paulo
Braga Christiano
Cafezeiro Isabel
Camarão Carlos
Cerqueira Renato
Costa Vitor
Dascalu Sergiu
De Carvalho-Junior Francisco Heron
De Melo Ana Cristina Vieira
De Schneider Sérgio Mello
De Valente Marco Túlio Oliveira
Du Bois Andr R.
Fiadeiro Jos Luiz
Figueiredo Lucília
Garcia Alex
Guimarães José
Haeusler Edward Hermann
Ierusalimschy Roberto
Iorio Vladimir Di
Jeuring Johan
Labra Jose
Lima Ricardo M.
Lins Rafael Dueire
Maia Marcelo
Martini Alfio
Menezes Luiz Carlos
Moreira Álvaro Freitas
Mosses Peter D.
Musicante Martin A.
Naumann David
Palsberg Jens
Pardo Alberto
Rigo Sandro
Rodriguez Noemi
Rubira Cecília
Santos André
Saraiva João
Soares Sérgio
Thompson Simon
Vene Varmo
Publication venue
'Verlag der Technischen Universitat Graz'
Publication date
01/01/2007
Field of study
No full text
University of Dundee Online Publications