|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 15 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Leo Yuhsiang Liu, R. K. Shyamasundar |
RT-CDL: A Distributed Real-Time Design Language and Its Operational Semantics.  |
Comput. Lang.  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo Yuhsiang Liu, R. K. Shyamasundar |
Static Analysis of Real-Time Distributed Systems. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
maximal parallelism model, parallel actions, temporal errors, CSP programs, software engineering, real-time systems, parallel programming, static analysis, distributed processing, programs, programming languages, reasoning, deadlocks, terminations, failures, livelocks, timing properties, real-time distributed systems, temporal behaviors |
| 1 | Leo Yuhsiang Liu, R. K. Shyamasundar |
Exception Handling in RT-CDL. |
Comput. Lang. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo Yuhsiang Liu, R. K. Shyamasundar |
RT-CDL: A Real Time Design Language and Its Semantics. |
IFIP Congress |
1989 |
DBLP BibTeX RDF |
|
| 1 | Leo Yuhsiang Liu, R. K. Shyamasundar |
Static Analysis of Real-time Distributed Systems. |
FTRTFT |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")