WebSite Logo
  • Content
  • Similar Resources
  • Metadata
  • Cite This
  • Log-in
  • Fullscreen
Log-in
Do not have an account? Register Now
Forgot your password? Account recovery
  1. Journal of Shanghai Jiaotong University (Science)
  2. Journal of Shanghai Jiaotong University (Science) : Volume 20
  3. Journal of Shanghai Jiaotong University (Science) : Volume 20, Issue 2, April 2015
  4. A logical characterization for linear higher-order processes
Loading...

Please wait, while we are loading the content...

Journal of Shanghai Jiaotong University (Science) : Volume 22
Journal of Shanghai Jiaotong University (Science) : Volume 21
Journal of Shanghai Jiaotong University (Science) : Volume 20
Journal of Shanghai Jiaotong University (Science) : Volume 20, Issue 6, December 2015
Journal of Shanghai Jiaotong University (Science) : Volume 20, Issue 5, October 2015
Journal of Shanghai Jiaotong University (Science) : Volume 20, Issue 4, August 2015
Journal of Shanghai Jiaotong University (Science) : Volume 20, Issue 3, June 2015
Journal of Shanghai Jiaotong University (Science) : Volume 20, Issue 2, April 2015
Technique of probability density function shape control for nonlinear stochastic systems
Wavelet-based hybrid thresholding method for ultrasonic liver image denoising
Genetic algorithm based feature selection and parameter optimization for support vector regression applied to semantic textual similarity
Application-oriented cloud monitoring data distribution mechanism
A short-term traffic flow forecasting method and its applications
Improved kernel possibilistic fuzzy clustering algorithm based on invasive weed optimization
Soft-sensing method with online correction based on semi-supervised learning
Stability of switched positive descriptor systems with average dwell time switching
A logical characterization for linear higher-order processes
A distributed power allocation scheme in green cognitive radio ad hoc networks
An iterative algorithm for computed tomography image reconstruction from limited-angle projections
Design and analysis of an adaptive handover protocol for 4G networks
Improved real-coded genetic algorithm solution for unit commitment problem considering energy saving and emission reduction demands
Neural network prediction model for ship hydraulic pressure signal under wind wave background
Conceptual process and analysis of water-gas-shift membrane reactor
Coupled element modeling scheme for the global dynamic analysis of unbonded flexible risers
The modified ensemble empirical mode decomposition method and extraction of oceanic internal wave from synthetic aperture radar image
Role of liver progenitor cell in liver regeneration: Cellular cross-talks and signals
Journal of Shanghai Jiaotong University (Science) : Volume 20, Issue 1, February 2015
Journal of Shanghai Jiaotong University (Science) : Volume 19
Journal of Shanghai Jiaotong University (Science) : Volume 18
Journal of Shanghai Jiaotong University (Science) : Volume 17
Journal of Shanghai Jiaotong University (Science) : Volume 16
Journal of Shanghai Jiaotong University (Science) : Volume 15
Journal of Shanghai Jiaotong University (Science) : Volume 14
Journal of Shanghai Jiaotong University (Science) : Volume 13

Similar Documents

...
Process passing calculus, revisited

Article

...
Finite axiomatization for symbolic probabilistic π-calculus

Article

...
Modal Characterization of Weak Bisimulation for Higher-order Processes (1996)

Article

...
Lattice-valued modal propositional logic based on M-lattice implication algebras

Article

...
Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract) (1996)

Article

...
Bisimulation for higher-order process calculi

Report

...
A polynomial time algorithm for checking regularity of totally normed process algebra

Article

...
Bisimulation for higher-order process calculi

Article

...
Forschungsberichte Des Fachbereichs Informatik Modal Characterization of Weak Bisimulation for Higher{order Processes Modal Characterization of Weak Bisimulation for Higher{order Processes

Article

A logical characterization for linear higher-order processes

Content Provider Springer Nature Link
Author Xu, Xian Long, Huan
Copyright Year 2014
Abstract Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of higher-order processes constrained by linearity. Linearity respects resource-sensitiveness and does not allow processes to duplicate themselves arbitrarily. We provide a modal logic that characterizes linear higher-order processes, particularly the bisimulation called local bisimulation over them. More importantly, the logic has modalities for higher-order actions downscaled to resembling first-order ones in Hennessy-Milner logic, based on a formulation exploiting the linearity of processes.
Starting Page 185
Ending Page 194
Page Count 10
File Format PDF
ISSN 10071172
Journal Journal of Shanghai Jiaotong University (Science)
Volume Number 20
Issue Number 2
e-ISSN 19958188
Language English
Publisher Shanghai Jiaotong University Press
Publisher Date 2014-10-03
Publisher Place Heidelberg
Access Restriction One Nation One Subscription (ONOS)
Subject Keyword modal logic bisimulation linearity higher-order process calculi Electrical Engineering Materials Science Computer Science Architecture Life Sciences
Content Type Text
Resource Type Article
Subject Multidisciplinary
  • About
  • Disclaimer
  • Feedback
  • Sponsor
  • Contact
  • Chat with Us
About National Digital Library of India (NDLI)
NDLI logo

National Digital Library of India (NDLI) is a virtual repository of learning resources which is not just a repository with search/browse facilities but provides a host of services for the learner community. It is sponsored and mentored by Ministry of Education, Government of India, through its National Mission on Education through Information and Communication Technology (NMEICT). Filtered and federated searching is employed to facilitate focused searching so that learners can find the right resource with least effort and in minimum time. NDLI provides user group-specific services such as Examination Preparatory for School and College students and job aspirants. Services for Researchers and general learners are also provided. NDLI is designed to hold content of any language and provides interface support for 10 most widely used Indian languages. It is built to provide support for all academic levels including researchers and life-long learners, all disciplines, all popular forms of access devices and differently-abled learners. It is designed to enable people to learn and prepare from best practices from all over the world and to facilitate researchers to perform inter-linked exploration from multiple sources. It is developed, operated and maintained from Indian Institute of Technology Kharagpur.

Learn more about this project from here.

Disclaimer

NDLI is a conglomeration of freely available or institutionally contributed or donated or publisher managed contents. Almost all these contents are hosted and accessed from respective sources. The responsibility for authenticity, relevance, completeness, accuracy, reliability and suitability of these contents rests with the respective organization and NDLI has no responsibility or liability for these. Every effort is made to keep the NDLI portal up and running smoothly unless there are some unavoidable technical issues.

Feedback

Sponsor

Ministry of Education, through its National Mission on Education through Information and Communication Technology (NMEICT), has sponsored and funded the National Digital Library of India (NDLI) project.

Contact National Digital Library of India
Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302
See location in the Map
03222 282435
Mail: support@ndl.gov.in
Sl. Authority Responsibilities Communication Details
1 Ministry of Education (GoI),
Department of Higher Education
Sanctioning Authority https://www.education.gov.in/ict-initiatives
2 Indian Institute of Technology Kharagpur Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project https://www.iitkgp.ac.in
3 National Digital Library of India Office, Indian Institute of Technology Kharagpur The administrative and infrastructural headquarters of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
4 Project PI / Joint PI Principal Investigator and Joint Principal Investigators of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
Prof. Saswat Chakrabarti  will be added soon
5 Website/Portal (Helpdesk) Queries regarding NDLI and its services support@ndl.gov.in
6 Contents and Copyright Issues Queries related to content curation and copyright issues content@ndl.gov.in
7 National Digital Library of India Club (NDLI Club) Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach clubsupport@ndl.gov.in
8 Digital Preservation Centre (DPC) Assistance with digitizing and archiving copyright-free printed books dpc@ndl.gov.in
9 IDR Setup or Support Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops idr@ndl.gov.in
I will try my best to help you...
Cite this Content
Loading...