4604 search results - page 123 / 921 » Concurrency in Synchronous Systems |
124
Voted
REX
1993
15 years 7 months ago
1993
112
Voted
ICALP
1992
Springer
15 years 7 months ago
1992
Springer
IPPS
1992
IEEE
15 years 7 months ago
1992
IEEE
134
click to vote
ACSD
2001
IEEE
15 years 7 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
FM
2008
Springer
15 years 5 months ago
2008
Springer
Modal