=: SOFSEM 08 := | Abstract/Details of Paper

Current Trends in Theory and Practice of Computer Science

›	Home
›	Photo Gallery
›	Print-Outs
›	Location (Venue)
›	Getting There
›	Invited Speakers
›	Accepted Papers
›	Timetable and Presentations
›	Participants
›	Profile and Topics
›	Program Committee
›	Steering Committee
›	Organization
›	Previous SOFSEMs
›	Sponsors
›	Contact

Contributed Paper
Foundations of Computer Science

Monday, January 21, 16:00 - 16:25

Julien Bernet and David Janin

From asynchronous to synchronous specifications for distributed program synthesis

Presentation (9497 kB)

SOFSEM 2008, January 19-25, High Tatras, Slovakia