A stuttering closed temporal logic for modular reasoning about concurrent programs

2005 ◽  
pp. 382-397 ◽  
Author(s):  
Abdelillah Mokkedem ◽  
Dominique Méry
Keyword(s):  
Temporal Logic ◽  
Concurrent Programs ◽  
Modular Reasoning

Verification of parameterized concurrent programs by modular reasoning about data and control

2012 ◽  
Vol 47 (1) ◽  
pp. 297-308 ◽  
Author(s):  
Azadeh Farzan ◽  
Zachary Kincaid
Keyword(s):  
Concurrent Programs ◽  
Modular Reasoning ◽  
And Control

Anticipating Nostalgia:Finding Temporal Logic in Textual Anomaly

2009 ◽  
Vol 4 (1) ◽  
pp. 72-83 ◽  
Author(s):  
Linda Charnes
Keyword(s):  
Temporal Logic

Alternating-time temporal logic with strong and weak exceptions

2009 ◽  
Vol 28 (11) ◽  
pp. 2874-2876 ◽  
Author(s):  
Xian-wei LAI ◽  
Shan-li HU ◽  
Zheng-yuan NING ◽  
Xiu-li WANG
Keyword(s):  
Temporal Logic

Peristrephic Visions

2017 ◽  
Author(s):  
Michael Germana
Keyword(s):  
Temporal Logic ◽  
White Supremacist ◽  
Invisible Man ◽  
The Future

Chapter 2 examines Ralph Ellison’s Invisible Man as a text that ekphrastically simulates a moving or “peristrephic” panorama in general, and an antebellum antislavery panorama in particular. In the process, this chapter reads Ellison’s debut novel as a text indebted to and allusive of, while ironically commenting on, the life and career of celebrated fugitive and peristrephic panoramist Henry Box Brown, who shipped himself in a sealed wooden crate from Richmond to Philadelphia and thus from slavery to freedom in 1849. Brown’s subsequent efforts to navigate the terrain of abolitionist discourse within a white supremacist culture led him to create a moving panorama called the Mirror of Slavery, which chronicled the cruelties of slavery, yet ended with the promise of universal emancipation. In appropriating the visual grammar of the antislavery panorama, Ellison also extends its ambivalent temporal logic to create his own alternative history in service of the future.

Sign in / Sign up

Export Citation Format

Share Document