Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
5451
search results - page 76 / 1091
»
Typed Operational Semantics
Sort
relevance
views
votes
recent
update
View
thumb
title
83
click to vote
PARCO
2003
82
views
Distributed And Parallel Com...
»
more
PARCO 2003
»
An operational semantics for skeletons
15 years 4 months ago
Download
calvados.di.unipi.it
Marco Aldinucci, Marco Danelutto
claim paper
Read More »
74
click to vote
AMCS
2008
96
views
Mathematics
»
more
AMCS 2008
»
Natural Quantum Operational Semantics with Predicates
15 years 3 months ago
Download
matwbn.icm.edu.pl
Marek Sawerwain, Roman Gielerak
claim paper
Read More »
89
Voted
CORR
2010
Springer
97
views
Education
»
more
CORR 2010
»
Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics
15 years 3 months ago
Download
www.cs.vu.nl
Maciej Gazda, Wan Fokkink
claim paper
Read More »
94
click to vote
ENTCS
2006
102
views
more
ENTCS 2006
»
A Proof Theoretic Approach to Operational Semantics
15 years 3 months ago
Download
www.lix.polytechnique.fr
Dale Miller
claim paper
Read More »
76
click to vote
ENTCS
2007
84
views
more
ENTCS 2007
»
An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications
15 years 3 months ago
Download
www.cse.unsw.edu.au
Adrian Pop, Peter Fritzson
claim paper
Read More »
« Prev
« First
page 76 / 1091
Last »
Next »