Back to Results
First PageMeta Content
Peter Mosses / Theoretical computer science / David Watt / Federal University of Pernambuco / BRIC / Computer science / Formal methods / Programming language semantics / Action semantics


BRICS Basic Research in Computer Science BRICS NS-00-6 Mosses & de Moura (eds.): AS 2000 Proceedings
Add to Reading List

Document Date: 2000-09-26 04:40:35


Open Document

File Size: 752,41 KB

Share Result on Facebook

City

Recife / Aberdeen / Fountain / Aarhus / Curitiba / Rio de Janeiro / Genova / /

Company

SRI International / /

Continent

Europe / /

Country

United States / Brazil / Italy / Scotland / Denmark / /

/

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / University of Aarhus / Robert Gordon University / Luther College / University of Glasgow / /

Organization

Robert Gordon University / Danish National Research Foundation / Computer Science Univ. of Aarhus / Luther College / BRICS Department / University of Aarhus / Centre for Informatics / University of Glasgow / Centre for Basic Research / Computer Science University of Aarhus Ny Munkegade / /

Person

Sylvia de Oliveira / Rafael Dueire / Kent D. Lee / Martin A. Musicante / Carlos J. P. de Lucena / Kent Lee / Ricardo Massa Ferreira Lima / Peter D. Mosses / David Watt / Elias Proc / Luis Carlos / Sergio E.R. de Carvalho / David A. Watt / Peter D. Mosses Modular / Ricardo Massa Ferreira / Luis Carlos Menezes / Peter D. Mosses Hermano / Christina von Flach / Luis Carlos de Souza Meneses / E. Hermann Haeusler / Elias ProcĀ“opio Duarte Jr. / Rafael Dueire Lins / /

/

Position

Author / invited speaker / /

ProgrammingLanguage

Pascal / Java / C / /

ProvinceOrState

Iowa / /

RadioStation

Watt / /

Technology

Java / /

URL

ftp /

SocialTag