On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP

Published 2008 View Full Article

  1. Home
  2. Publications
  3. Publication Search
  4. Publication Details
Title
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
Authors
Keywords
-
Journal
SCIENCE OF COMPUTER PROGRAMMING
Volume 74, Issue 3, Pages 100-127
Publisher
Elsevier BV
Online
2008-10-01
DOI
10.1016/j.scico.2008.09.011

Ask authors/readers for more resources

Protocol

Community support

Reagent

Community support

Reprint

Contact the author

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

Find the ideal target journal for your manuscript

Explore over 38,000 international journals covering a vast array of academic fields.

Search
Webinars Posters Questions Hubs Funding Journals Articles Connect Collections Reviewers About Us FAQs Mobile App Privacy Policy Terms of Use
© Peeref 2019-2024. All rights reserved.