Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
2
search results - page 1 / 1
»
Shared-state design modulo weak and strong process fairness
Sort
relevance
views
votes
recent
update
View
thumb
title
112
Voted
FORTE
1992
80
views
Formal Methods
»
more
FORTE 1992
»
Shared-state design modulo weak and strong process fairness
15 years 4 months ago
Download
heim.ifi.uio.no
Ketil Stølen
claim paper
Read More »
124
click to vote
FTRTFT
1994
Springer
113
views
Formal Methods
»
more
FTRTFT 1994
»
Specification and Refinement of Finite Dataflow Networks - a Relational Approach
15 years 7 months ago
Download
folk.uio.no
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
Manfred Broy, Ketil Stølen
claim paper
Read More »
« Prev
« First
page 1 / 1
Last »
Next »