Keywords: of concurrent systems, logic of actions, temporal logic, reasoning Temporal logic of actions. Available from . access on 23 May 2019. Main.GregorioIvanoff ...

Keywords: of concurrent systems, global commons problems, conflict in behavior, logic of actions, temporal logic, automated economy Português: computacionais Temporal ...

... This is why he was so intrigued when, in the appendix of a paper he’d been reading, he came across a strange mixture of math and code—or what looked like code ...