|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia |
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms.  |
ICATPN  |
2007 |
DBLP DOI BibTeX RDF |
Asynchronous communication mechanisms, model checking, Petri nets, protocols, synthesis, concurrent systems |
| 2 | Fei Xia, Fei Hao, Ian G. Clark, Alexandre Yakovlev, E. Graeme Chester |
Buffered Asynchronous Communication Mechanisms.  |
ACSD  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Yong Sun, Hongji Yang |
Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study.  |
EUROMICRO  |
1996 |
DBLP DOI BibTeX RDF |
communication mechanism independent protocol specification, abstract synchronous communication mechanism, asynchronous communication mechanisms, computer network protocols, specification, communicating sequential processes, communicating sequential processes, alternating bit protocol, communication mechanism |
| 1 | Kyller Costa Gorgônio, Fei Xia |
Modeling and verifying asynchronous communication mechanisms using coloured Petri nets.  |
ACSD  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cliff B. Jones, Ken G. Pierce |
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification.  |
ABZ  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia, Alexandre Yakovlev |
Automating Synthesis of Asynchronous Communication Mechanisms.  |
Fundam. Inform.  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luciano Baresi, Carlo Ghezzi, Luca Mottola |
On Accurate Automatic Verification of Publish-Subscribe Architectures.  |
ICSE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Qin Li, Huibiao Zhu, Jing Li, Jifeng He |
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers.  |
WS-FM  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Xia, Fei Hao, Ian G. Clark, Alexandre Yakovlev, E. Graeme Chester |
Buffered Asynchronous Communication Mechanisms.  |
Fundam. Inform.  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Luciano Baresi, Carlo Ghezzi, Luca Mottola |
Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures.  |
FORTE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cortadella, Kyller Costa Gorgônio, Fei Xia, Alexandre Yakovlev |
Automating Synthesis of Asynchronous Communication Mechanisms.  |
ACSD  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Xia, Ian G. Clark |
Algorithms for Signal and Message Asynchronous Communication Mechanisms and their Analysis.  |
Fundam. Inform.  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Fei Xia, Alexandre Yakovlev, Ian G. Clark, Delong Shang |
Data Communication in Systems with Heterogeneous Timing.  |
IEEE Micro  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Xia, Ian G. Clark |
Algorithms for Signal and Message Asynchronous Communication Mechanisms and Their Analysis.  |
ACSD  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Xia, Alexandre Yakovlev, Delong Shang, Alexandre V. Bystrov, Albert Koelmans, D. J. Kinniment |
Asynchronous Communication Mechanisms Using Self-Timed Circuits.  |
ASYNC  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop, J. V. Tucker |
Process Algebra with Asynchronous Communication Mechanisms.  |
Seminar on Concurrency  |
1984 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|