Refining reactive systems in HOL using action systems

1997 ◽  
pp. 183-197 ◽  
Author(s):  
Thomas Långbacka ◽  
Joakim von Wright
Keyword(s):  
Reactive Systems ◽  
Action Systems

Illegal Markets

2017 ◽  
Author(s):  
Renate Mayntz
Keyword(s):  
Institutional Change ◽  
Organized Crime ◽  
Social Boundaries ◽  
Terrorist Organizations ◽  
Illegal Markets ◽  
Social Legitimacy ◽  
Action Systems ◽  
Illegal Action

The study of illegal markets needs to distinguish illegality from legality, and to relate both to legitimacy. There is no conceptual ambiguity about the distinction between legal and illegal if legality is formally defined. In practice, (formal) legality and (social) legitimacy can diverge: illegal markets are empirically related to organized crime, mafia, and even terrorist organizations, and they interact both with legal markets and the forces of state order. Where legal and illegal action systems are not separated by clear social boundaries, they are connected by what has come to be called “interfaces”: actors moving between a legal and an illegal world, and grey zones of actions that are neither clearly legal or illegal, nor clearly legitimate or illegitimate. Interfaces facilitate interaction between legal and illegal action systems, but they are also sources of tension and can lead to institutional change.

Analyzing Event-Based Scheduling in Concurrent Reactive Systems

2015 ◽  
Vol 14 (4) ◽  
pp. 1-27 ◽  
Author(s):  
Jian-Min Jiang ◽  
Huibiao Zhu ◽  
Qin Li ◽  
Yongxin Zhao ◽  
Lin Zhao ◽  
...  
Keyword(s):  
Reactive Systems ◽  
Event Based

scholarly journals Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

2009 ◽  
Vol 410 (41) ◽  
pp. 4044-4066 ◽  
Author(s):  
Filippo Bonchi ◽  
Ugo Montanari
Keyword(s):  
Reactive Systems
Sign in / Sign up

Export Citation Format

Share Document