Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
article

Receptive process theory

Published: 01 February 1992 Publication History

Abstract

No abstract available.

Cited By

View all
  • (2022)Retargeting a hardware compiler using protocol convertersFormal Aspects of Computing10.1007/BF012145578:2(209-237)Online publication date: 2-Jan-2022
  • (2020)Inputs and Outputs in CSPACM Transactions on Computational Logic10.1145/337950821:3(1-53)Online publication date: 18-May-2020
  • (2017)A new optional parallelism operator in CSP for wireless sensor networksProceedings of the South African Institute of Computer Scientists and Information Technologists10.1145/3129416.3129431(1-8)Online publication date: 26-Sep-2017
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Acta Informatica
Acta Informatica  Volume 29, Issue 1
Feb. 1992
105 pages

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 February 1992

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 13 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2022)Retargeting a hardware compiler using protocol convertersFormal Aspects of Computing10.1007/BF012145578:2(209-237)Online publication date: 2-Jan-2022
  • (2020)Inputs and Outputs in CSPACM Transactions on Computational Logic10.1145/337950821:3(1-53)Online publication date: 18-May-2020
  • (2017)A new optional parallelism operator in CSP for wireless sensor networksProceedings of the South African Institute of Computer Scientists and Information Technologists10.1145/3129416.3129431(1-8)Online publication date: 26-Sep-2017
  • (2012)A compositional specification theory for component behavioursProceedings of the 21st European conference on Programming Languages and Systems10.1007/978-3-642-28869-2_8(148-168)Online publication date: 24-Mar-2012
  • (2010)UTP and sustainabilityProceedings of the Third international conference on Unifying theories of programming10.5555/1939848.1939850(46-73)Online publication date: 15-Nov-2010
  • (2007)On Process-algebraic Verification of Asynchronous CircuitsFundamenta Informaticae10.5555/2367430.236744680:1-3(283-310)Online publication date: 1-Jan-2007
  • (2007)Controllable Delay-Insensitive ProcessesFundamenta Informaticae10.5555/2366476.236648178:1(101-130)Online publication date: 1-Jan-2007
  • (2007)Models of reactive systemsProceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems10.5555/1927558.1927560(3-15)Online publication date: 4-Nov-2007
  • (2007)On Process-algebraic Verification of Asynchronous CircuitsFundamenta Informaticae10.5555/1366708.136672480:1-3(283-310)Online publication date: 1-Jan-2007
  • (2007)Controllable Delay-Insensitive ProcessesFundamenta Informaticae10.5555/1366007.136601278:1(101-130)Online publication date: 1-Jan-2007
  • Show More Cited By

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media