The following pages link to Formal Aspects of Computing (Q164203):
Displaying 50 items.
- An elementary and unified approach to program correctness (Q607408) (← links)
- Robin Milner: 13 January 1934-20 March 2010 (Q607410) (← links)
- A lazy approach to symmetry reduction (Q613132) (← links)
- Translating FSP into LOTOS and networks of automata (Q613134) (← links)
- Lower bounds on lengths of checking sequences (Q613138) (← links)
- Inter-process buffers in separation logic with rely-guarantee (Q613139) (← links)
- Amir Pnueli -- A gentle giant: Lord of the \(\varphi \)'s and the \(\psi \)'s (Q613140) (← links)
- Special issue: Selected papers based on the presentations at the first international conference on abstract state machines, B and Z (ABZ 2008), London, UK, September 16--18, 2008 (Q617342) (← links)
- Special issue: Workshop on tools at VSTTE 2008. Selected papers based on the presentations at the conference on verified software: theories, tools and experiments, Toronto, Canada, October 6--9, 2008 (Q638912) (← links)
- A probability perspective (Q640292) (← links)
- A programming model for BSP with partitioned synchronisation (Q640293) (← links)
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- \textsf{CaPiTo}: Protocol stacks for services (Q640297) (← links)
- Information gain of black-box testing (Q640298) (← links)
- Thread algebra for poly-threading (Q640299) (← links)
- Special issue: Formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods (FM 2009), Eindhoven, The Netherlands, November 2--6, 2009. (Q650135) (← links)
- Special issue: 14th BCS-FACS refinement workshop. Selected papers based on the presentations at the workshop, Eindhoven, The Netherlands, November 2009. (Q656200) (← links)
- Toward automatic verification of quantum programs (Q667515) (← links)
- GPU-accelerated steady-state computation of large probabilistic Boolean networks (Q667518) (← links)
- Extensional Petri net (Q667521) (← links)
- Formal reliability analysis of redundancy architectures (Q667523) (← links)
- Automating Event-B invariant proofs by rippling and proof patching (Q667526) (← links)
- A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
- Model-based testing of probabilistic systems (Q682363) (← links)
- Cut branches before looking for bugs: certifiably sound verification on relaxed slices (Q682366) (← links)
- Variability-based model transformation: formal foundation and application (Q682373) (← links)
- Type inference in stack based languages (Q684389) (← links)
- The formal specification of safety requirements for storing explosives (Q684392) (← links)
- Categorical ML -- category-theoretic modular programming (Q684395) (← links)
- A single complete rule for data refinement (Q684396) (← links)
- Definition and basic properties of the Deva meta-calculus (Q688825) (← links)
- Communicating processes with value-passing and assignments (Q688827) (← links)
- A CCS-based investigation of deadlock in a multi-process electronic mail system (Q688829) (← links)
- Dependently typed records in type theory (Q699688) (← links)
- A new approach to abstract syntax with variable binding (Q699761) (← links)
- Proofs-as-programs as a framework for the design of an analogy-based ML editor (Q699921) (← links)
- POP, a broad-spectrum programming language, 1967--2002 (Q699923) (← links)
- Should ML be object-oriented? (Q699925) (← links)
- The list introduction strategy for the derivation of logic programs (Q699926) (← links)
- Architectural specifications in CASL (Q699927) (← links)
- Institution morphisms (Q699929) (← links)
- Variations on algebra: Monadicity and generalisations of equational theories (Q699931) (← links)
- Shallow linear action graphs and their embeddings (Q699934) (← links)
- Three inadequate models (Q699935) (← links)
- Intensional and extensional semantics of dataflow programs (Q706490) (← links)
- Linear approximation of execution-time constraints (Q706493) (← links)
- Actors and their composition (Q706495) (← links)
- Redesign of a systems engineering language: formalisation of \(\chi\) (Q706498) (← links)
- A semantics for distributed execution of Statemate (Q706501) (← links)
- Validating the PSL/Sugar semantics using automated reasoning (Q706502) (← links)
