1026 search results - page 5 / 206 » A Methodology for Equational Reasoning |
TPHOL
2000
IEEE
13 years 11 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
TLCA
1997
Springer
13 years 11 months ago
1997
Springer
PODC
1989
ACM
13 years 11 months ago
1989
ACM
A deterministic message-communicating process can be characterized by a “continuous” function f which describes the relationship between the inputs and the outputs of the proc...
ENTCS
2007
13 years 7 months ago
2007