tag :: operational formal

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

No matching posts.

⟨⟨
⟨
⟩
⟩⟩

publications (hide)13
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

2Toward a Formalization of BPEL 2.0 : An Algebra Approach
L. Boumlik, M. Mejri, and H. Boucheneb. https://aircconline.com/ijwsc/V11N1/11120ijwsc01.pdf, Heidelberg, 2 edition, (March 2020)
9 months ago by @ijwsc
show all tags
2.0
Algebra
Formal
Operational
Process
Semantics
Services
WS-BPEL
Web
methods
orchestration
2.0AlgebraFormalOperationalProcessSemanticsServicesWS-BPELWebmethodsorchestration
(0)
copydeleteadd this publication to your clipboard
2Toward a Formalization of BPEL 2.0 : An Algebra Approach
L. Boumlik, M. Mejri, and H. Boucheneb. International Journal on Web Service Computing (IJWSC), 11 (1): 01-20 (March 2020)
4 years ago by @ijwsc
show all tags
2.0
Algebra
Formal
Operational
Process
Semantics
Services
WS-BPEL
Web
methods
orchestration
2.0AlgebraFormalOperationalProcessSemanticsServicesWS-BPELWebmethodsorchestration
(0)
copydeleteadd this publication to your clipboard
2Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.
J. Bowen. IFM, volume 1945 of Lecture Notes in Computer Science, page 277-296. Springer, (2000)
13 years ago by @jpbowen
show all tags
Description
HDL
Hardware
Language
Verilog
animation
formal
literate
logic
methods
myown
operational
programming
semantics
specification
DescriptionHDLHardwareLanguageVeriloganimationformalliteratelogicmethodsmyownoperationalprogrammingsemanticsspecification
(0)
copydeleteadd this publication to your clipboard
2An Animatable Operational Semantics of the Verilog Hardware Description Language.
J. Bowen, J. He, and Q. Xu. ICFEM, page 199-208. (2000)
13 years ago by @jpbowen
show all tags
Description
HDL
Hardware
Language
Verilog
animation
formal
methods
myown
operational
semantics
DescriptionHDLHardwareLanguageVeriloganimationformalmethodsmyownoperationalsemantics
(0)
copydeleteadd this publication to your clipboard
2Deriving Operational Semantics from Denotational Semantics for Verilog.
H. Zhu, J. Bowen, and J. He. APSEC, page 177-. IEEE Computer Society, (2001)
13 years ago by @jpbowen
show all tags
Verilog
denotational
derivation
formal
methods
myown
operational
semantics
Verilogdenotationalderivationformalmethodsmyownoperationalsemantics
(0)
copydeleteadd this publication to your clipboard
2Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.
H. Zhu, J. He, and J. Bowen. SEW, page 131-143. IEEE Computer Society, (2007)
13 years ago by @jpbowen
show all tags
Algebraic
Approach
Language
Observation-Oriented
Operational
Probability
Semantics
Shared-Variable
Timed
and
formal
methods
myown
to
AlgebraicApproachLanguageObservation-OrientedOperationalProbabilitySemanticsShared-VariableTimedandformalmethodsmyownto
(0)
copydeleteadd this publication to your clipboard
2From Operational Semantics to Denotational Semantics for Verilog
Z. Huibiao, J. Bowen, and H. Jifeng. (2001)
13 years ago by @jpbowen
show all tags
Verilog
denotational
formal
methods
myown
operational
semantics
Verilogdenotationalformalmethodsmyownoperationalsemantics
(0)
copydeleteadd this publication to your clipboard
2Deriving operational semantics from denotational semantics for Verilog
Z. Huibiao, J. Bowen, and H. Jifeng. page 177--184. (2001)
13 years ago by @jpbowen
show all tags
Verilog
denotational
derivation
formal
methods
myown
operational
semantics
Verilogdenotationalderivationformalmethodsmyownoperationalsemantics
(0)
copydeleteadd this publication to your clipboard
2From Operational Semantics to Denotational Semantics for Verilog.
H. Zhu, J. Bowen, and J. He. CHARME, volume 2144 of Lecture Notes in Computer Science, page 449-466. Springer, (2001)
13 years ago by @jpbowen
show all tags
denotational
formal
methods
myown
operational
semantics
verilog
denotationalformalmethodsmyownoperationalsemanticsverilog
(0)
copydeleteadd this publication to your clipboard
2Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics.
H. Zhu, J. Bowen, and J. He. ICFEM, volume 2495 of Lecture Notes in Computer Science, page 600-612. Springer, (2002)
13 years ago by @jpbowen
show all tags
Verilog
completeness
denotational
formal
methods
myown
non-redundancy
operational
semantics
soundness
Verilogcompletenessdenotationalformalmethodsmyownnon-redundancyoperationalsemanticssoundness
(0)
copydeleteadd this publication to your clipboard
1Operational semantics of a kernel of the language ELECTRE
J. Perraud, O. Roux, and M. Huou. Theoretical Computer Science, 97 (1): 83--103 (Apr 20, 1992)
16 years ago by @dparigot
show all tags
ELECTRE
ELECTRE;
application;
attribute
context-free
evaluation;
formal
grammar;
grammars;
kernel;
language
language;
languages;
modules;
operational
real-time
semantics;
system
transition
ELECTREELECTRE;application;attributecontext-freeevaluation;formalgrammar;grammars;kernel;languagelanguage;languages;modules;operationalreal-timesemantics;systemtransition
(0)
copydeleteadd this publication to your clipboard
1Formal Semantics
G. Winskel. The MIT Press, (February 1993)
16 years ago by @leonardo
show all tags
formal
semantics
1993
_book
operational
axiomatic
denotational
formalsemantics1993_bookoperationalaxiomaticdenotational
(0)
copydeleteadd this publication to your clipboard
2Deductive Verification of Distributed Groupware Systems
A. Imine, P. Molli, G. Oster, and M. Rusinowitch. Tenth International Conference on Algebraic Methodology and Software Technology - AMAST 2004, Stirling, Scotland, United Kingdom, volume 3116 of Lecture Notes in Computer Science, Springer, (July 2004)
18 years ago by @momo54
show all tags
algebraic
distributed
formal
operational
specification,
systems,
transformation
verification,
algebraicdistributedformaloperationalspecification,systems,transformationverification,
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩

BibSonomy

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)13
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

2Toward a Formalization of BPEL 2.0 : An Algebra Approach

2Toward a Formalization of BPEL 2.0 : An Algebra Approach

2Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.

2An Animatable Operational Semantics of the Verilog Hardware Description Language.

2Deriving Operational Semantics from Denotational Semantics for Verilog.

2Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.

2From Operational Semantics to Denotational Semantics for Verilog

2Deriving operational semantics from denotational semantics for Verilog

2From Operational Semantics to Denotational Semantics for Verilog.

2Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics.

1Operational semantics of a kernel of the language ELECTRE

1Formal Semantics

2Deductive Verification of Distributed Groupware Systems

browse

related tags

bookmarks (hide) displayallbookmarks onlybookmarks per page5102050100 sort byadded attitle RSSBibTeXXML

publications (hide)13 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

browse

related tags

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)13
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...