Category: Research
-
Describing Behavior
This is a follow up of a previous post where a formalization of the concept of behavior –bisimilarity– was presented. Now I want to focus into one approach to characterize “equivalence of behavior,” that is, when two states of a system are bisimilar.
-
Publish NOW, or perish
Academic life has given me a lesson for the second time, and it was harsh this time. The first lesson had a happy ending, and it can be described by the following words: Beware of the paper bin! This happened on 2008. I was experimenting with a really wonderful software, the bundle Prover9-Mace4, by the…
-
How about a little absurdity?
Assume you want to prove a Theorem X. If you’re a fan of reductio ad absurdum (RAA), you start by saying “Assume that Theorem X is false. Hence…” and after some reasoning, you reach a contradiction. You write as a closing sentence, “This contradiction shows that Theorem X must be true.” I want to argue about…