Switch to: References

Add citations

You must login to add citations.
  1. Process algebra with four-valued logic.Jan A. Bergstra & Alban Ponse - 2000 - Journal of Applied Non-Classical Logics 10 (1):27-53.
    ABSTRACT We propose a combination of a fragment of four-valued logic and process algebra. This fragment is geared to a simple relation with process algebra via the conditional guard construct, and can easily be extended to a truth-functionally complete logic. We present an operational semantics in SOS-style, and a completeness result for ACP with conditionals and four- valued logic. Completeness is preserved under the restriction to some other non-classical logics.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Execution architectures for program algebra.Jan A. Bergstra & Alban Ponse - 2007 - Journal of Applied Logic 5 (1):170-192.
    Download  
     
    Export citation  
     
    Bookmark