On the public citation graph
A fully abstract semantics of classes for Object-Z
0 signed · 80 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-52513-0_14openalex-snapshot
Towards a semantics for object-Z
inferredcites →https://doi.org/10.1007/978-1-4471-3860-0_6openalex-snapshot
Experimenting with Process Equivalence
inferredcites →https://doi.org/10.1007/bf00268075openalex-snapshot
Specification-oriented semantics for Communicating Processes
inferredcites →https://doi.org/10.1007/bfb0015727openalex-snapshot
Linear and branching structures in the semantics and logics of reactive systems
inferredcites →https://doi.org/10.1016/0304-3975(77)90044-5openalex-snapshot
LCF considered as a programming language
inferredcites →https://doi.org/10.1016/0304-3975(92)90050-popenalex-snapshot
Experimenting with process equivalence
inferredcites →https://doi.org/10.1093/comjnl/32.4.290openalex-snapshot
First Steps Towards Fully Abstract Semantics for Object-Oriented Languages
inferredcites →https://doi.org/10.1109/lics.1988.5123openalex-snapshot
Semantical paradigms: notes for an invited lecture
inferredcites →https://doi.org/10.1109/sfcs.1989.63474openalex-snapshot
Full abstraction for nondeterministic dataflow networks
inferredcites →https://doi.org/10.1145/155183.155221openalex-snapshot
A formal definition of priority in CSP
inferredcites →https://doi.org/10.1145/75277.75291openalex-snapshot
A fully abstract trace model for dataflow networks
inferredcites →https://doi.org/10.1145/75277.75307openalex-snapshot
Bisimulation through probabilistic testing (preliminary report)
inferredcites →https://doi.org/10.1145/828.833openalex-snapshot
A Theory of Communicating Sequential Processes
inferredcites →https://doi.org/10.14264/47655d0openalex-snapshot
An object-oriented approach to formal specification
inferredcites →https://doi.org/10.21236/ada202995openalex-snapshot
Semantical Paradigms: Notes for an Invited Lecture
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-36103-0_60openalex-snapshot
Introducing Reference Semantics via Refinement
inferred← citeshttps://doi.org/10.1007/3-540-40911-4_7openalex-snapshot
Structuring Real-Time Object-Z Specifications
inferred← citeshttps://doi.org/10.1007/3-540-44880-2_18openalex-snapshot
Compositional Verification for Object-Z
inferred← citeshttps://doi.org/10.1007/3-540-47884-1_13openalex-snapshot
Refinement in Object-Z and CSP
inferred← citeshttps://doi.org/10.1007/3-540-47884-1_15openalex-snapshot
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
inferred← citeshttps://doi.org/10.1007/3-540-48118-4_1openalex-snapshot
From informal requirements to COOP: a concurrent automata approach
inferred← citeshttps://doi.org/10.1007/3-540-48483-3_18openalex-snapshot
Concurrency and Data Types: A Specification Method An Example with LOTOS
inferred← citeshttps://doi.org/10.1007/3-540-63533-5_4openalex-snapshot
A semantic integration of object-Z and CSP for the specification of concurrent systems
inferred← citeshttps://doi.org/10.1007/978-0-387-35271-8_31openalex-snapshot
Combining CSP and Object-Z: Finite or Infinite Trace Semantics?
inferred← citeshttps://doi.org/10.1007/978-0-387-35562-7_18openalex-snapshot
A Junction Between State Based and Behavioural Specification
inferred← citeshttps://doi.org/10.1007/978-0-85729-277-3_18openalex-snapshot
The Object-Z Specification Language
inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_11openalex-snapshot
An Object Semantic Model of SOFL
inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_16openalex-snapshot
Specifying component and context specification using Promotion
inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_4openalex-snapshot
Towards Real-Time Object-Z
inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_5openalex-snapshot
Overview of the Semantics of TCOZ
inferred← citeshttps://doi.org/10.1007/978-1-4471-5355-9_15openalex-snapshot
An Introduction to Object-Z
inferred← citeshttps://doi.org/10.1007/978-1-4471-5355-9_18openalex-snapshot
Combining CSP and Object-Z
inferred← citeshttps://doi.org/10.1007/978-3-540-24721-0_5openalex-snapshot
Refactoring Object-Z Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-39656-7_15openalex-snapshot
Specification and Inheritance in CSP-OZ
inferred← citeshttps://doi.org/10.1007/978-3-540-39893-6_16openalex-snapshot
Comparison of Data and Process Refinement
inferred← citeshttps://doi.org/10.1007/978-3-540-45236-2_19openalex-snapshot
A Semantic Foundation for TCOZ in Unifying Theories of Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-49676-2_2openalex-snapshot
How to Combine Z with a Process Algebra
inferred← citeshttps://doi.org/10.1007/978-3-540-76993-4_20openalex-snapshot
Formal Specification of OWL-S with Object-Z: The Dynamic Aspect
inferred← citeshttps://doi.org/10.1007/978-3-642-33296-8_9openalex-snapshot
Compositionality and Refinement in Model-Driven Engineering
inferred← citeshttps://doi.org/10.1007/s00165-003-0002-9openalex-snapshot
Structural Refinement of Systems Specified in Object-Z and CSP
inferred← citeshttps://doi.org/10.1007/s00165-005-0081-xopenalex-snapshot
A singleton failures semantics for Communicating Sequential Processes
inferred← citeshttps://doi.org/10.1007/s001650050007openalex-snapshot
Specifying and Refining Internal Operations in Z
inferred← citeshttps://doi.org/10.1007/s001650200002openalex-snapshot
Combining Component Specifications in Object-Z and CSP
inferred← citeshttps://doi.org/10.1007/s001650200003openalex-snapshot
An Introduction to Real-Time Object-Z
inferred← citeshttps://doi.org/10.1007/s001650200004openalex-snapshot
Deep Semantic Links of TCSP and Object-Z: TCOZ Approach
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.06.016openalex-snapshot
Refactoring Real-time Specifications
inferred← citeshttps://doi.org/10.1016/j.is.2011.07.003openalex-snapshot
A formal model of the Semantic Web Service Ontology (WSMO)
inferred← citeshttps://doi.org/10.1016/j.scico.2004.05.017openalex-snapshot
Specification and (property) inheritance in CSP-OZ
inferred← citeshttps://doi.org/10.1016/j.scico.2014.02.027openalex-snapshot
An automated tool for semantic accessing to formal software models
inferred← citeshttps://doi.org/10.1016/j.scico.2014.11.004openalex-snapshot
Formal model-driven engineering of critical information systems
inferred← citeshttps://doi.org/10.1016/s0920-5489(99)00010-0openalex-snapshot
Viewpoints and consistency: translating lotos to Object-z
inferred← citeshttps://doi.org/10.1016/s1389-1286(00)00114-6openalex-snapshot
Viewpoint consistency in ODP
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)82563-0openalex-snapshot
A comparison of refinement orderings and their associated simulation rules
inferred← citeshttps://doi.org/10.1023/a:1011269103179openalex-snapshot
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
inferred← citeshttps://doi.org/10.1023/a:1016513914276openalex-snapshot
A Formal Object Approach to the Design of ZML
inferred← citeshttps://doi.org/10.1057/jos.2012.24openalex-snapshot
Use of formal languages to consolidate a Holonic MAS methodology: a specification approach for analysing Problem and Agency domains
inferred← citeshttps://doi.org/10.1109/apsec.2001.991513openalex-snapshot
Model checking Object-Z classes: Some experiments with FDR
inferred← citeshttps://doi.org/10.1109/cmpsac.2002.1045077openalex-snapshot
The semantics of extended SOFL
inferred← citeshttps://doi.org/10.1109/iceccs.2007.9openalex-snapshot
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
inferred← citeshttps://doi.org/10.1109/iceccs.2008.25openalex-snapshot
A Formal Model of Semantic Web Service Ontology (WSMO) Execution
inferred← citeshttps://doi.org/10.1109/icfem.1997.630436openalex-snapshot
Refinement and verification of concurrent systems specified in Object-Z and CSP
inferred← citeshttps://doi.org/10.1109/icfem.2000.873818openalex-snapshot
A case study in partial specification: consistency and refinement for Object-Z
inferred← citeshttps://doi.org/10.1109/icse.1998.671106openalex-snapshot
Blending Object-Z and Timed CSP: an introduction to TCOZ
inferred← citeshttps://doi.org/10.1109/wi.2007.61openalex-snapshot
K-SVMeans: A Hybrid Clustering Algorithm for Multi-Type Interrelated Datasets
inferred← citeshttps://doi.org/10.14236/ewic/fa1997.10openalex-snapshot
Object-oriented Operations Have Two Parts
inferred← citeshttps://doi.org/10.14236/ewic/fm1998.13openalex-snapshot
A Use Case Interpretation of B AMN
inferred← citeshttps://doi.org/10.46298/lmcs-18(4:4)2022openalex-snapshot
Building Specifications in the Event-B Institution
inferred← citeshttps://doi.org/10.5220/0002195800030012openalex-snapshot
Use Case Maps as an Aid in the Construction of a Formal Specification
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.