Fragmented retrenchment, concurrency and fairness

ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods

Volumn , Issue , 2000, Pages 143-151

  Banach, R ^a   Poppleton, M ^a,b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b OPEN UNIVERSITY   (United Kingdom)

Author keywords

Concrete; Concurrent computing; Interleaved codes; Mathematics; State space methods; Systems engineering and theory; Turning; Yarn

Indexed keywords

COMPUTATION THEORY; CONCRETES; MATHEMATICAL TECHNIQUES; STATE SPACE METHODS; TURNING; YARN;

CONCURRENT COMPUTING; EVENT STRUCTURES; FLEXIBLE DEVELOPMENT; FLOW EVENTS; INTERLEAVED CODES; INTERLEAVINGS; PROOF OBLIGATIONS; SYSTEMS ENGINEERING AND THEORIES;

CONCURRENCY CONTROL;

EID: 47949089581     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICFEM.2000.873814     Document Type: Conference Paper

References (13)

1. Banach R., Poppleton M. Retrenchment: An Engineering Variation on Refinement. in:Proc. B-98, Bert (ed.), Springer, 1998, 129-147, LNCS 1393. See also: Tech. Rep. UMCS-99-3-2, http://www.cs.man.ac.uk/cstechrep
2. Banach R., Poppleton M. Retrenchment and Punctured Simulation. in: Proc. IFM-99, Taguchi, Galloway (eds.), 457-476, Springer, 1999.
3. Banach R., Poppleton M. Retrenchment, Refinement and Simulation. in:Proc. ZB-00, Bowen, Dunne, Galloway, King (eds.), Springer, 2000, 304-323, LNCS 1878.
4. Banach R., Poppleton M. Sharp Retrenchment, Modulated Refinement and Simulation. Form. Asp. Comp. 11, 498-540, 1999.
5. Banach R. Maximally Abstract Retrenchments. this volume
6. 20 States and Beyond. Inf. and Comp. 98, 142-170, 1992.
7. McMillan K. L. Symbolic Model Checking. Kluwer, 1993.
8. Proc. CAV-90, Clarke. Kurshan (eds.), Springer, 1990, LNCS 531.
9. Pinna G. M., Poigne A. On the nature of Events: Another Perspective in Concurrency. Theor. Comp. Sci., 138, 425-454, 1995.
10. Boudol G. Flow Event Structures and Flow Nets. in:Semantics and Systems of Concurrent Processes, Proc. LITP-90, Guessarian (ed.), Springer, 1990, 62-95, LNCS 469.
11. Baldan P., Corradini A., Montanari U. An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. in:Proc. FOSSACS-98, Nival (ed.), Springer, 1998, 63-80, LNCS 1378.
12. Kwiatkowska M.Z. On Topological Charecterization of Behavioural Properties. in: Topology and Category Theory in Computer Science. Reed, Roscoe, Wachter (eds.), 153-177, O.U.P., 1991.
13. Priese L. Approaching Fair Computations by Ultra Metrics. in:Semantics and Systems of Concurrent Processes, Proc. LITP-90, Guessarian (ed.), Springer, 1990, 420-433, LNCS 469.