scholarly journals Graphical Encoding of a Spatial Logic for the π-Calculus

Author(s):  
Fabio Gadducci ◽  
Alberto Lluch Lafuente
Keyword(s):  
2006 ◽  
Vol 154 (2) ◽  
pp. 31-46 ◽  
Author(s):  
Fabio Gadducci ◽  
Alberto Lluch Lafuente
Keyword(s):  

2021 ◽  
pp. 105268462199276
Author(s):  
DeMarcus A. Jenkins

This article builds from scholarship on anti-Blackness in education and spatial imaginaries in geography to theorize an anti-Black spatial imaginary as the prevailing spatial logic that has shaped the configuration and character of American social intuitions, including K-12 schools. As a spatial imaginary, anti-Blackness is circulated through discourses, images, and texts that tell a story of Blackness as a problem, non-human, and placeless. Anchored by the assumption that Black populations are spatially illegitimate, the anti-Black spatial imaginary marks Black bodies as undesirable and therefore extractable from spaces and places that have been envisioned for their exclusion. I consider schools as sites spatialized terror where the exhibitions of terror consist of forcing students to observe other Black bodies being forcibly removed from the classroom and school community; constant rejection of Black language, traditions, music preferences, and other cultural forms of expression; the obliteration of Black names and identities. I offer ways that school leaders can unsettle the anti-Black spatial imaginary to transform schools as sites of holistic healing and possibilities.


2021 ◽  
Vol 43 (2) ◽  
pp. 1-55
Author(s):  
Bernardo Toninho ◽  
Nobuko Yoshida

This work exploits the logical foundation of session types to determine what kind of type discipline for the Λ-calculus can exactly capture, and is captured by, Λ-calculus behaviours. Leveraging the proof theoretic content of the soundness and completeness of sequent calculus and natural deduction presentations of linear logic, we develop the first mutually inverse and fully abstract processes-as-functions and functions-as-processes encodings between a polymorphic session π-calculus and a linear formulation of System F. We are then able to derive results of the session calculus from the theory of the Λ-calculus: (1) we obtain a characterisation of inductive and coinductive session types via their algebraic representations in System F; and (2) we extend our results to account for value and process passing, entailing strong normalisation.


1999 ◽  
Vol 42 (4) ◽  
pp. 342-353 ◽  
Author(s):  
Zhoujun Li ◽  
Huowang Chen ◽  
Bingshan Wang
Keyword(s):  

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Maike Schwammberger

Abstract As automated driving techniques are increasingly capturing the market, it is particularly important to consider vital functional properties of these systems. We present an overview of an approach that uses an abstract model to logically reason about properties of autonomous manoeuvres at intersections in urban traffic. The approach introduces automotive-controlling timed automata crossing controllers that use the traffic logic UMLSL (Urban Multi-lane Spatial Logic) to reason about traffic situations. Safety in the context of collision freedom is mathematically proven. Liveness (something good finally happens) and fairness (no queue-jumping) are examined and verified using a model-checking tool for timed automata, UPPAAL.


2021 ◽  
Author(s):  
A. I. Dolgy ◽  
I. N. Rozenberg ◽  
V. Ya. Tsvetkov

Sign in / Sign up

Export Citation Format

Share Document