|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Sujit Dey, Surendra Bommu |
Performance analysis of a system of communicating processes.  |
ICCAD  |
1997 |
DBLP DOI BibTeX RDF |
PERC, accurate worst case performance analysis technique, concurrent communicating processes, exhaustive simulation, multiple communicating processes, single process descriptions, system design space, system of communicating processes, worst case performance analysis, worst case performance estimate, performance analysis, system performance, performance estimation, communicating sequential processes, system implementation, synchronization overhead, inter process communication |
| 1 | David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff |
Verifying a signature architecture: a comparative case study. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Security, Model checking, Formal methods, Theorem proving, Case study, Comparison |
| 1 | Ciarán Bryce, Jean-Pierre Banâtre, Daniel Le Métayer |
An approach to information security in distributed systems. |
FTDCS |
1995 |
DBLP DOI BibTeX RDF |
security semantics, distributed systems, distributed processing, information security, CSP, security of data, information flow control, communicating sequential processes, communicating processes |
| 1 | Antoine Rauzy |
Toupie = µ-Calculus + Constraints. |
CAV |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")