[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

FriasEtal05

  1. Marcello F Frias & Carlos G Lopez Pombo & Gabriel A Baum & Nazareno M Aguirre & Thomas S E Maibaum
  2. Reasoning about static and dynamic properties in Alloy: A Purely Relational Approach
  3. ACM TOSEM Trans Software Eng & Methodology V14n4(Oct 2005)pp478-526
  4. =THEORY EQUATION RELATIONAL LOGIC HOARE TRIPLES FORK ALGEBRA FRL
  5. A fork algebra is based on a set that has a pairing operation (p) that is used to define a fork operation on relations:
  6. fork::infix=map[R,S] rel[a,d](for some b,c (d=p(b,c) and a R b and a S c)).

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]