Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharingTowards a linear algebra of programmingPeter Landin: a computer scientist who inspired a generation, 5th June 1930 - 3rd June 2009A Hoare logic for linear systemsApplications of real number theorem proving in PVSX-machines and the halting problem: Building a super-turing machineThe certification of the Mondex electronic purse to ITSEC Level E6Cameo: an alternative model of concurrency for EiffelEdsger Wybe Dijkstra (1930-2002): A Portrait of a GeniusReasoning about Prolog programs: From modes through types to assertionsA linear algebra approach to OLAPOn theorem prover-based testingThe weakest precondition calculus: Recursion and dualityMichael J.C. Gordon FRS Professor of Computer Assisted Reasoning (28 February 1948–22 August 2017)In memoriam: Professor Heinz Zemanek (1920–2014)Finite Integer Computations: An Algebraic Foundation for Their CorrectnessObituary: Professor David Michael Ritchie ParkContracts for concurrencyEditorialEditorialFrom MC/DC to RC/DC: formalization and analysis of control-flow testing criteriaBook reviewsSpecification, Verification and Prototyping of an Optimized CompilerSoundness of workflow nets: classification, decidability, and analysisPreserving correctness during business process model configurationNatural Semantics-Directed Generation of Compilers and Abstract MachinesThe Changing Face of Standardization: A Place for Formal Methods?Mechanizing compositional reasoning for concurrent systems: some lessonsUsing probabilistic model checking for dynamic power managementA comparison of tools for teaching formal software verificationSelf-adaptation and secure information flow in multiparty communicationsDynamic role authorization in multiparty conversationsEvent-based run-time adaptation in communication-centric systemsSimulation testing of automataInfinite Concurrent Systems — I. The Relationship between Metric and Order ConvergenceGenerating certified code from formal proofs: a case study in homological algebraModel checking CML: tool development and industrial applicationsPractice-oriented courses in formal methods using VDM++Using VDMTools to Model and Validate the Cash Dispenser ExampleSemantics of under-determined expressions
P1433
Q29544202-52FC817F-2A9A-47A3-AB7F-414DD3A3C76EQ50292399-ee6c8074-4177-d11d-d75c-1fce5f05c8aeQ54002419-503407F1-BC21-456A-9AC2-46203985C34AQ55393264-53CE5345-0011-40DB-A421-8FA743B5C5DBQ55393267-B4821DD3-47C1-4BFA-9F7B-925422699C1AQ55968658-ECDDA1C1-9B8F-4485-87D3-EDAC08FD4F68Q56028301-7C8E53F9-6C79-424D-AFCA-5A5DF614003CQ56047699-2F5C34DB-D85E-4E7C-9583-280C223323A7Q56047785-422F7980-2D93-47D0-A5BB-FC6A36FD23F3Q56059067-2B22B5CC-5FE3-4A41-8D5B-537BF4283D99Q56428792-42630080-3618-4E80-AAF1-601FB7032CA2Q56502042-A4423E1C-57D8-4516-B135-C26A79311CB8Q56504619-7E32C1E2-6D50-4355-9E48-4075CD25B3A3Q56535034-9C867233-4148-4AFB-A341-36E24AFD4560Q56814515-DE443043-20FF-4D92-9710-C7E0B26016F3Q56815153-9E5EB2C1-42F0-45B1-946B-3E1CF00A019FQ56815820-E76B5E75-660F-429E-9015-80E57F14A240Q56901575-E4F33B31-FC7E-4489-A9A6-CA6118954298Q56939593-BC61A9FE-025E-424C-B7CC-EE8A46A8F6C5Q56939653-9B964E46-444F-496C-B9E3-CA3912DD82B9Q56939807-320DE5DF-0E10-482D-8958-F9F746FB4B82Q56940105-0482E08F-1141-43BE-9FD2-693F49A458FEQ56940226-7BC13831-A35D-4B72-87A0-DC23559A3B1CQ57005245-4F694A0A-8760-4C56-9B05-648C3245602BQ57005367-DF08C6A4-9AAC-4372-B12D-FFEEFFA1B40FQ57263202-BD25CF45-4E6C-44EC-A116-1DA184973F61Q57317884-21B219C4-E822-4C96-9CC6-362E19D9D9E5Q57382658-77592294-70F0-459F-BEF1-0F8E590C7BD6Q57526672-E278AB01-2D37-4042-BB81-D61202174FD0Q57551400-873A2530-DFE4-4805-8C33-2E25A5170A1AQ57652348-A8FAC101-6CF7-4C8D-A781-38D2488FFCACQ57652357-6C9060CA-7D63-4F94-9298-84ECD1BA8788Q57652361-F457A3A1-E74F-48AD-8AE7-87619DAE1D03Q57691248-AAD6C793-9F83-4EBF-B061-D2E6560A4FBDQ57691266-96703828-3D82-423C-A4A0-33226373AB33Q57721922-D58B2587-29A5-446E-A13E-7B43E1AF281DQ57733521-5E5A11CB-D817-4B83-B864-63FE6F98EED9Q57733794-608263AE-7ED1-4068-AEBF-821A7559A012Q57733844-AA0E2A07-8FD7-46AA-9FBB-C85C22F80C8FQ57733857-81B5FD6C-6803-4109-BB67-E9D2C80F9F99
P1433
description
journal
@en
revista científica
@es
rivista scientifica
@it
vědecký časopis
@cs
wetenschappelijk tijdschrift van Springer Science+Business Media
@nl
wissenschaftliche Fachzeitschrift
@de
مجلة
@ar
वैज्ञानिक पत्रिका
@hi
name
Formal Aspects of Computing
@ast
Formal Aspects of Computing
@da
Formal Aspects of Computing
@en
Formal Aspects of Computing
@es
Formal Aspects of Computing
@fi
Formal Aspects of Computing
@fr
Formal Aspects of Computing
@it
Formal Aspects of Computing
@nb
Formal Aspects of Computing
@nl
Formal Aspects of Computing
@nn
type
label
Formal Aspects of Computing
@ast
Formal Aspects of Computing
@da
Formal Aspects of Computing
@en
Formal Aspects of Computing
@es
Formal Aspects of Computing
@fi
Formal Aspects of Computing
@fr
Formal Aspects of Computing
@it
Formal Aspects of Computing
@nb
Formal Aspects of Computing
@nl
Formal Aspects of Computing
@nn
prefLabel
Formal Aspects of Computing
@ast
Formal Aspects of Computing
@da
Formal Aspects of Computing
@en
Formal Aspects of Computing
@es
Formal Aspects of Computing
@fi
Formal Aspects of Computing
@fr
Formal Aspects of Computing
@it
Formal Aspects of Computing
@nb
Formal Aspects of Computing
@nl
Formal Aspects of Computing
@nn
P243
P3181
P1058
P1156
P1250
P1277
P1476
Formal Aspects of Computing
@en
P236
P243
P3181
P407
P571
1989-01-01T00:00:00Z