Under consideration for publication in Formal Aspects of Computing Maximally Concurrent Programs 1

Source URL: rjoshi.org

• Lie algebras
• Lie groups
• Circuit complexity
• NC
• Constructible universe
• Homogeneous spaces
• Mathematics
• Hopf decomposition

Under consideration for publication in Formal Aspects of Computing Bisimulations in Calculi Modelling Membranes Roberto Barbuti1 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 and Angelo Troina2 1 Dipartimento

Source URL: pages.di.unipi.it

• Theoretical computer science
• Logic in computer science
• Mathematics
• Formal methods
• Bisimulation
• Mathematical logic
• Petri net
• Rewriting

arXiv:1605.02529v1 [cs.SE] 9 MayUnder consideration for publication in Formal Aspects of Computing Verification of interlocking systems using statistical model checking

Source URL: www.info.ucl.ac.be

To appear in Formal Aspects of Computing Requirements, specifications and minimal refinement Nikos Gorogiannis† and Mark Ryan‡ †

Source URL: www.cs.bham.ac.uk.

6 June 2016, 16:50 : Submitted to Formal Aspects of Computing From Domain Descriptions to Requirements Prescriptions: A Different Initial Approach to Requirements Engineering Dines Bjørner

Source URL: www2.compute.dtu.dk

6 June 2016, 16:50 : Submitted to Formal Aspects of Computing From Domain Descriptions to Requirements Prescriptions: A Different Initial Approach to Requirements Engineering Dines Bjørner

Source URL: www.imm.dtu.dk

11 June 2016: 19:02 : to be submitted to Formal Aspects of Computing Domains Their Simulation, Monitoring and Control — A Divertimento of Ideas and Suggestions — Dines Bjørner1

Source URL: www2.compute.dtu.dk

Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods

Source URL: www.imm.dtu.dk

Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods

Source URL: www2.compute.dtu.dk

7 June 2016, 08:16 am: Submitted to Formal Aspects of Computing Domain Facets Analysis & Description – 7 June 2016, 08:16 am Dines Bjørner Fredsvej 11, DK-2840 Holte, Denmark.

Source URL: www2.compute.dtu.dk