Search results for "asynchronous communication mechanisms"

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